Currently the user_id has the pipe character replaced with a dot. This is necessary due to the limitations of the default Django user model.
If someone wants to or already has a custom user model that does support the pipe character in the username field, we should have a way to disable the pipe character rewriting.