Hello! tools-webproxy worked because it was the internal name of our webproxy node. Now that we have a more robust solution (two webproxies) that is no longer the case. tools.wmflabs.org will continue to work no matter what now, however, so you should switch to that. Sorry for the confusion. Thanks!