Nicer external link symbol

…and a more descriptive title for GitHub links.