== Toolserver replag permanent - Dab solver needs porting == 

 Hi JaGa; My understanding is that the Toolserver replag is permanent, and that pointing people off to use Dab solver on it is not helpful.  You ought to alter the message until such time as Dab solver is ported to labs.