GreaseMonkey script for real-time ticket observers.