bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error"

[Michael Albinus]

Stefan Kangas <stefan@marxist.se> writes:

> The documentation of `user-error' says that it will "Signal a pilot
> error", which I personally find confusing.  For starters, "pilot"
> could also mean "done as an experiment or test before being introduced
> more widely".
>
> It's more clear to say "user error".  I don't have any data on this,
> but in my experience this is also more in line with how other
> programming languages names this class of errors.

Please don't change. "Pilot error" is a known term, see
<http://www.hacker-dictionary.com/terms/pilot-error>.

> Thanks,
> Stefan Kangas

Best regards, Michael.