Adds a link to the DOM to quickly switch between github repos and their deployed Github Pages.
As of 2018-04-24. See the latest version.
These are versions of this script where the code was updated. Show all versions.
