Okay, just learnt that usernames are case-sensitive on here. That’s prohibitive when searching for people to tag. #[0] any chance of changing this to non-case sensitive when typing @xxxxx to tag someone?