On Thursday, 1 June 2017 at 01:45:24 UTC, Andrei Alexandrescu wrote: > You're right. Congratulations Nicholas for this great work and > I wish it succeeds by any name he chooses for it. -- Andrei And nothing increases chances of success like contributions! (subtle hint)