Greasemonkey script that shortens a webpage's title based on user-defined rules. Useful for sites such as wikis that have long titles.