While here some minor formatting tweaks.
Building and deploying the documentation requires some infrastructure that's not part of this tree.