Firefox favicon works. Hurray.
Minor html refactorisation