Tweak GitHub link: https
More little doc tweaks