On 3/1/2016 5:57 AM, Andrei Alexandrescu wrote: > Congratulations to everyone who helped, and especially to Craig for driving > this! Craig, you should be really proud - this is a great accomplishment. -- Andrei I agree, thank you Craig!