Fixups to about.html