Fixed #14: As good as we are going to get, added permalink in GitHub UI