After spending more time with this PR I actually don't care about this. We've got `user_id` and `display_name` and you're right that it can be nice to distinguish from `participants.username`. TBH when I'm working with the `elsewhere` table in psql I often forget that I want `elsewhere.participants` instead of `elsewhere.username`. Actually having an `elsewhere.username` would no doubt trip me up. :-)