New versions of greasemonkey & scriptify released on AMO