Makes the menu bar in GitHub stay at the top of the page when scrolling
As of 07.02.2016. See ბოლო ვერსია.
These are versions of this script where the code was updated. Show all versions.
