Update documentation generation tools; Tweaked documentation