On Monday, 10 December 2012 at 00:30:34 UTC, Walter Bright wrote: > Is now pointing to the new media wiki setup. Excellent! Much better :)