@davidrevoy I hope so. I'll probably tell the origin story of my name far less in the future and exclusively with a note in regard to this.
Yes, it looks like the oldest mention is a biography from 1990, and it wasn't widely recognized until 2021, when more information about it came public?
@eest9 I don't know. Pages like the French one on Wikipedia doesn't even mention it...
[edit: Someone added the info to the FR wikipedia page 10min ago, thanks! https://fr.wikipedia.org/w/index.php?title=Erwin_Schr%C3%B6dinger&action=history 👍 ]