We have a role to make the linking easier (ghissue I think) - see ```doc/sphinxext/github.py```