Some programming languages also start adopting them, too. Raku is the one I know (it allows French and German quotes, too). Maybe Julia, too? I think some language communities tend to be more open to widespread Unicode usage in source code than others.
Once upon a time, I wanted to rely on these distinctions in a TTS frontend to distinguish between 5" floppy disk and "Mambo No. 5"
I soon realized that people use quotation marks and dashes in such a random manner that insisting on treating the semantics literally would create more confusion than it would resolve.
Edit: Now that my comment has posted, I realized you used the correct characters, but the font on my browser rendered them in a seemingly incorrect way, so they looked like double primes.
https://jakubmarian.com/map-of-quotation-marks-in-european-l...
I like to call «this» the Swiss system, because in Switzerland they use it for four different official languages.
That would really be handy on the CLI instead of doing a bunch of escaping with backslashes.
I've had to run double-depth for loops which then execute an awk script remotely. Three would have been fine.