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

[Stefan Kangas]

Paul Eggert <eggert@cs.ucla.edu> writes:
> Although it appears that the proposal has
> substantial support, some reviewers like the phrase "pilot error". So I 
> propose
> the attached additional patch, which keeps the phrase "pilot error" and says
> that it means the same thing as "user error" - a point that will help people
> unfamiliar with the term "pilot error".

Thank you.  This is a good compromise and in my opinion fully
sufficient to remove any confusion.

> This patch also takes the bikeshedding opportunity to improve the doc strings
> further by ordering them more logically and tightening up the wording.

This also looks like an improvement to me.

Best regards,
Stefan Kangas