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

[Juanma Barranquero]

On Fri, Jun 14, 2019 at 4:26 PM Stefan Kangas <stefan@marxist.se> wrote:

> Right, but we are now discussing the term "pilot error".  Do you think
> that it is better than "user error"?  If yes, why?

<delurking>

I think "pilot error" is too jargony. We don't want to force people to
look for unusual idioms in nerdy dictionaries while they're reading
documentation. At least, not on purpose. And certainly looking for
"pilot error" in Google will only add to their confusion.

There's a place for clever. Documentation is not that place, IMHO.

<relurking>