On 1/23/2014 9:38 AM, Andrei Alexandrescu wrote: > Congratulations to Dmitry! (His github ID is blackwhale.) Congrats, too! BTW, Dmitry, can you use Dmitry for your github ID, too? I often lose track of which handle goes with which name. I feel like I need to make a cheat sheet and tape it to my monitor.