Greasemonkey script to tidy up the CMS LXR search results