about.html: Formatting and sync with index.html