Date: Mon, 25 Aug 2025 07:34:25 -0700
From: Paul Eggert via tz <[email protected]>
Message-ID: <[email protected]>
| Astrodienst’s Web version of Shanks and Pottenger’s
That's simply wrong, regardless of questions of how nice it is to
type, that character that is being misrepresented there by ’
should be an apostrophe ('), which is an entirely different thing
than a closing single quote.
If the apostrophe character doesn't look "right" to you, use a different
font where it does, don't just turn it into a quote.
kre