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