More reliable detection of GitHub URLs
Minor UI changes