Improvements to the GitHub UI