Just thought I’d document this as its likely to be the sort of thing that others might need. I was doing a bit of a tidyup of our javascript files on the global justice site New Internationalist and I needed to know which javascript files were still in use. Its a recursive grep for .js file …

NOTE Google changed the gmail API some time ago. I haven't been able to suss out how and they haven't documented it. So I’m no longer able to support this project. My apologies.This Greasemonkey script hides the right hand side ads on gmail and widens the email bit. You'll need to install …