Improve references to GitHub issues.