Add a copy button to GitHub repos to copy the repo link in markdown format
As of 2024-02-06. See the latest version.
