Re: [Toolserver-l] [Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!