Is it possible to create custom username mappings? For example, let's say my Github username is `JoeSmith99` but I am required to SSH into my server as `jsmith`.