They eventually decided -- not unanimously by any means -- not to include his real name, despite the fact that nearly all media reports did.
Uiteindelijk besloten ze allesbehalve unaniem om zijn echte naam niet te vermelden, ondanks het feit dat bijna alle mediaverslagen dat wel deden.