Unbreak HTML manual

The `index` node overwrote the `index.html` Frontpage of the generated
HTML output.  Fuck you Texinfo, why don't you handle this correctly?!