I can let our admins know if you like, but you already pinged them on Discord. They should see it either way.
great, thank you!
