Seems my hosting provider doesn’t support WordPress doing automatic updates :-(. Luckily they have quite clear instructions for doing a manual update, but for some reason I almost managed to bork it about 3 times in a row. Either copy doesn’t work quite the same in the hosting service or doing it late at night after a strong cider and some mind bending studying is not a good idea.

In either case it is updated and everything still works.