Oh, and if it gives you pleasure, by all means use your magical administrative powers to delete both my accounts. You choose which and/or both to delete.
Nice! Although the selection could be individual or more...kind of less hitting the right spot in the spinner if you know what I mean. But great nonetheless!
Xray, by the way, how are the changes going to work? Is it going to be two seperate repostories or aremarble races/algo-------s/related going to be removed etc. Thanks.