This is a delight piece of work, and well worth the research needed to make it.
Sometimes you have to draw a line in the sand about strange low-stakes terminology opinions you’re passionate about.
I had a similarly passionate “what counts as a jumpsuit” debate not too long ago. The key difference in opinions was about sleeve length.
I will begrudgingly call a jumpsuit with short sleeves a jumpsuit, but once it has no sleeves at all it cannot hold the title anymore. Jumpsuits were designed as full body garments for jumping out of planes, fancy dress overalls just aren’t jumpsuits, regardless of the slow bastardization of the term fashion has allowed. There’s no great title for it, overalls shares a similar niche but not quite. Romper also comes close, but requires shorts, not full length legs.