I would like to ask if there is a way to include special characters in a username. Consider I already have a user whose username includes "!" or "%". An error pops in the "User" field when I try to add this user while deploying HIDS. Is there a workaround? The user is an admin and changing his username would be troublesome.