bookmarklet:
Copy githublink