On 11/13/2012 6:51 AM, Andrei Alexandrescu wrote: > I think that's a great idea. I'm not a frequent user of our Wiki, but e.g. for > DIPs it's nice to have a better engine. I don't see why Walter would oppose a > change. I don't oppose a change. But would mediawiki be better (the one used by Wikipedia)?