Various improvements to the Docs module