Here's another batch of HTML cleanups for the documentation.
Generally speaking, here's what it does:
- Remove all use of
<br>-tags. Using them for non-content purposes like layout is out-of-spec for HTML. - Remove all use of
<tt>-tags. This tag has been removed from HTML5, so the world isn't too happy to see it in use. - Add more
<code>-tags around identifiers, filenames, code-snippets etc. This improves readability. - Switch some lists from unordered lists to definition lists, as this conveys what they are a bit cleaner.
- And generally: structure some of the HTML a bit more. HTML has a lot of nice features that we're not really taking advantage of.
There's a lot more minor stuff in there as well.
Another point that's worth bringing up is that I realized that one of our releases lacked MD5sums for the archives. I've downloaded these from our file-archive, computed them, and added it to the document. If someone else could confirm these MD5sums, that'd be great.