They eventually decided -- not unanimously by any means -- not to include his real name, despite the fact that nearly all media reports did.
בסוף הם החליטו, ולא פה אחד, לא לכלול את השם האמיתי שלו. למרות שכמעט כל התקשורת עשתה זאת.