Merge branch 'jc/doc-git-updates' (early part) * 'jc/doc-git-updates' (early part): Documentation: update URL for formatted pages