I really don’t have any opinion. I’m claiming quite few see the difference or care of it.
some cleaned off topic’ish…
All I know I like → ™ etc but creating tables is a quite pain in the tender place because - - will change to —
I edited that post because I got advice that single - is enough. I didn’t know that — every day something new.