docs: more html cleanups
Here's another set of patches, cleaning up the HTML of the docs. These are a bit more opinionated than the previous round, but I think they all should make sense.
Here's another set of patches, cleaning up the HTML of the docs. These are a bit more opinionated than the previous round, but I think they all should make sense.