Add more menu items on the header of GitHub to quickly reach the page you want.
As of 2020-11-19. See the latest version.
These are versions of this script where the code was updated. Show all versions.
