`make maintainer-clean` removes docs/index.html
I imagine @mpickering will throw a tomato at me for saying this, but make distclean removes docs/index.html, even though docs/index.html is meant to be persisted these days. This may have been why @simonpj and I have run into difficulties around this file!