Thanks for the proposed fix. 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".

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