Add a new ``gh`` role to the documentation to link to GitHub issues.