On Thu, 28 Oct 2010 14:21:22 -0400, Andrei Alexandrescu <andrei at erdani.com> wrote: > I agree that we should add a mention. Other opinions? > > Andrei > I agree.