Anyone knows good open source implementation of popular Greasemonkey plugin for IE? the one at http://www.gm4ie.com seems quite old and only 0.1 version.