names have always been removed in the past when a mod has been asked to do so - so doubtless if asked they would be (and should be) removed on this occasion.
Not true, unfortunately.
Very recently bose-x used my full name in the bizjet (?) forum and the mods refused to remove it when I asked them to. They told me to contact bose-x.
Bose-x removed it only after I posted a brief "history" of his exploits, with his full name, and after I said I will remove my post if he removes my name.
Some of the moderation on PP seems pretty strange. Sometimes aggressive, other times they couldn't care less who gets pissed off.