I wonder if the recent activity on bugzilla:2099 was prompted by your
partial solution? If we wait a little bit longer will this toolserver
solution be unncessary? I hope so.
bad_old_ones should still be very useful though. After exams I hope I
can spend a day or two to sit down with it.