[18:46:20] <Weiroutsi>	 Tut sich bei der Migration der Tools noch was? https://de.wikipedia.org/wiki/Kategorie:Wikipedia:Technik/Labs/Toolserver