Subject: bug#20545: New minor mode Electric Punct

From: Paul Eggert <[email-masked]>
Date: Wed, 13 May 2015 09:56:12 -0700

Eli Zaretskii wrote:
> do we really need the underscores?
> What would be their purpose?

To tell the user that the characters are not really "`" and "'", but are 
something else.  It's the same reason we underline the "\u2018" and the "\u2019".