A name is a label (think C pointer) to a specific person. So yes, Lamo did report the person now known as Chelsea Manning. It was the person that was reported, not a name. Names in themselves are almost entirely inconsequential.
To me that's wrong, the President didn't, but Donald Trump did.
There's no reason to hide that Trump hasn't always been president, and it's informative to know that he wasn't president at the time he was a TV character in a "game" (?) show.
If the name is inconsequential why does anyone care if you refer to the correct historical fact that "Bradley Manning (now called Chelsea) was reported ...".
They matter, just in different ways to different people. What's that quote - naming things and off-by-one errors??