I’ve got the same problem; at my PC the issue is that the script will not install. Check in the Greasemonkey’s “Manage User Scripts...” page whether Wei_Dai’s script is there at all.
(edit) I had to use “New User Script...”, and then copied the source, for Greasemonkey to accept it at all. Now the script actually shows as active on the URL, though it still does not work, for whatever reason.
I’ve got the same problem; at my PC the issue is that the script will not install. Check in the Greasemonkey’s “Manage User Scripts...” page whether Wei_Dai’s script is there at all.
(edit) I had to use “New User Script...”, and then copied the source, for Greasemonkey to accept it at all. Now the script actually shows as active on the URL, though it still does not work, for whatever reason.