index.html: Just whitespace for better diffs