Apparently Greasemonkey wants a 3-digit version number