Convert a simple chrome extension to a greasemonkey script