True, I just checked out their wikipedia page. They used to wear binders and underwent a double mastectomy, and somewhat changed their name to a much more gender ambiguous one. I think it's safe to say that's pretty far into trans territory, especially for the time. Unfortunately, we don't have a language that has any wiggle room to speak of when it comes to gender neutrality, with all the issues it creates when it comes to defining gender on a spectrum, so there's that.

Also, duly noted for butch, though female still sounds bad either way. Not that that nazi deserved any courtesy, but eeh. Thanks for sharing your perspective, I appreciate it!