5d264bb
tiny HTML twiddling: make the raw HTML very slightly nicer this is kinda OCD, just fiddling with newlines.