And some other small tweaks to the documentation to make cross-references work and things generally look good.
