Currently, in the admin server the `/user add` only takes a discord username, it would be easy to also allow a user_id to be input if preferred. 