A while back Murph ran up against Google’s account naming policy. It required people’s actual names be used, where an actual name was defined in some manner that included how a person was commonly known or referenced in publications. I’m not sure if or how that issue was resolved. But choice of “Murph” here was a nod to his preference to be allowed to use “Murph” for that account.

Any particular reason to refer to “Murph” here rather than by his name, Richard Murphy? It has been a long time, if ever, since he was ever anonymous.