I slipped up - dunno why it wasn't obvious to me, but I did not add a field on everyone's user profile for "Real Name".

I've now added that field. it is optional, as it was in PEv2, and can be changed:
  • Click on "Settings" (near the top-right-hand corner)
  • Click on "Edit Profile"

Scroll down - and you'll see the "Real Name" field.

I've entered my real name - for the first time ever on Progressive Ears