A few GreaseMonkey scripts
==========================

This is just a place where I put short-term scripts, which others can
pick up.  Nothing here is likely to stay here for long.