Yup, I’ve tried searching Discord servers as a last resort for some technical issues, but man, their search really can’t differentiate between technical terms properly. I’m hoping they fix their search function at some point, but given how the username system change is going, I’m not holding out hope.