No, I don't think it offered. Give me a minute.
ETA: Whoops, missed the bit about installing the GM add-on. Now done. Still the same. What directory should the js file be in? I've put it in FF\modules
Shouldn't matter. As long as you give it a filename ending in .user.js