When I switched CSS files a few days (weeks?) ago, I didn’t consider that the new CSS had a *theme* which hid the footer – so for most people (mainly my dad who asked about it) it was impossible to edit pages. Sorry ’bout that.