html formatting

5b50912c5cf55e2d1be0bf8277f7fd3c55de3acb
Didn't actually look at this specific instance, but I sometimes find it useful to have such comment blocks in the HTML (e.g. when debugging, working on CSS, etc). Not a huge deal really, but we don't really gain much by removing it