[Wikitech-l] Servers of wikimedia -> Jimbo