2014-01-29 Gerard Meijssen <gerard.meijssen(a)gmail.com>
First of all.. was Toolserver not to be decommissioned and consequently
should this tool not be going to labs?
Yes, as far as I know, Toolserver will stop working some time later this
year. According to <
Pathoschild's tool will be redirected to Labs soon, and I know that
SPQRobin also plans to move the other tool to Labs.