A few places used Unicode U+2018/U+2019 left/right single quotes (but not always correctly balanced). Let's just use plain ASCII single quotes everywhere.
33 KiB
33 KiB
A few places used Unicode U+2018/U+2019 left/right single quotes (but not always correctly balanced). Let's just use plain ASCII single quotes everywhere.