bug#7291: 24.0.50; `non-essential' is incomprehensible

[Eli Zaretskii]

> From: Andy Moreton <andrewjmoreton@gmail.com>
> Date: Sat, 30 Oct 2010 00:00:33 +0100
> Cc: 
> 
> On Fri 29 Oct 2010, Eli Zaretskii wrote:
> 
> >> From: Stefan Monnier <monnier@iro.umontreal.ca>
> >> Date: Fri, 29 Oct 2010 12:03:03 -0400
> >> Cc: 7291@debbugs.gnu.org
> >> 
> >> > The variable is badly named.  It should be using a positive form, like
> >> > allow-whatever.
> >> 
> >> `allow-whatever' does strike me as being any better.
> >> Any other suggestion?
> >
> > suppress-non-essential-prompts?
> 
> allow-user-interaction ? 

"User interaction" is too general, IMO.  Almost as general as the
original name, which is one of the reasons for this bug report.