rename js to be greasemonkey compatible