* Finally apply the index.html patch, with thanks to everyone who worked