Fix inaccessibility of Pull Requests when issues are disabled for a repo
Improve highlight formatting