re: #189 Charles Johnson
No, you can still use the space, since if it’s addressed to multiple people, the separator is the ‘|’ symbol.
What about using the display name automagically inserting the formal user name instead?