Same version as 1.14 from userscripts.org, except @grant for newer versions of GreaseMonkey.