I intentionally didn't use his name because he wasn't the point, he was an example for a point. And I didn't wish to publicly criticize him, or introduce a name that many wouldn't be familiar with.

Perhaps rot13 wasn't necessary by some written/unwritten rules, but I thought the use was appropriate in response to my deliberately leaving his name out of it; I found it both perceptive and courteous.