RE: [External] : Tick Reduction

[Drew Adams]

> I'm wondering whether we should reduce the number of ‘’ marks in the
> *Help* buffer.

(This proposal seems like a rehash of earlier
ones about Info presentation.)

FWIW, I'm against it, in particular for the
same reasons I'm against the use of curly
quotes, including search & recognition.

At most, it should be optional (and opt-in).

It ain't broke; please don't "fix" it.  And
real Emacs improvements are still possible...