Hardly anonymous: David Bradley
OK. Thanks.
And that was probably in the article ...
I side with David Bradley. Ctrl-Alt-Del was a good choice.