copy-pasta new header to all html files. few formatting tweaks.