Subject: bug#11999: 24.1.50; New Info file suffix ".info" breaks `Info-find-node-2'

From: Stefan Monnier <[email-masked]>
Date: Tue, 24 Jul 2012 17:53:06 -0400

>> I.e. I'm open to suggestions, but I don't think it's worth spending too
>> much time on it.
> How about renaming 'user-error' into 'error-no-backtrace'?

I'd rather have a name that reflects the intention (and also user-error
is significantly shorter).

        Stefan