Dan, when I was writing my post, I did consider whether putting the full name was proper. Since the original post that I made reference to had the full name, I did not see the harm.
I do think you were right to edit my post, and I see that you also edited the original post which I think was the decent thing to do. I think everyone should be mindful, especially with what is currently in the news, that what is written here can be seen elsewhere. And that was sort of the point of my posting.
