Craigslist Live Filter - a Greasemonkey Userscript