Somehow a jwt ended up containing a username with trailing spaces.
This caused problems.
Plan is for authenticator and/or tokens service to be updated to reject such usernames.
TBD: Should we defensively trim username strings from values in JWT?
What about other names, such as tenant?