I tried searching on discord but couldn't find the user name. It is case sensitive, would that change things?
