To add to this, deadnaming is a serious issue. Simply making the effort to use someone's name and avoiding a deadname can literally save people, so please, in the future refrain from using a deadname when referring to any trans person. It might not seem like a big deal, but from experience with friends, it isn't just an "old name", it's an identity they had to fake for years, and saying it can throw away their progress. Trans rights are human rights! We should have DMd the person in question, but we should also remember that this is a simple message edit. If you have issues with this, then you may need to rethink how you view the world.