[15:08:16] Mark corrects coffee table story about original Toolserver/Zedler, at last! https://www.mediawiki.org/w/index.php?title=Toolserver:History&diff=prev&oldid=6495544 [15:08:49] See also https://wikitech.wikimedia.org/wiki/Kohl.wikimedia.org [15:14:26] lol [15:16:43] good thing I shared that incorrect story after shutting down the toolforge grid engine, or we would have never had that corrected most likely :D [15:16:45] * taavi fixes https://wikitech.wikimedia.org/wiki/User:Majavah/History_of_Toolforge [15:17:31] taavi: I'll stop so as to not edit conflict with you :) [15:18:03] https://wikitech.wikimedia.org/w/index.php?title=User:Majavah/History_of_Toolforge&diff=prev&oldid=2173570