A Greasemonkey script to filter Twitter's timeline