On 22 October 2016 at 03:47, <npostavs@users.sourceforge.net> wrote:

I think you might be overestimating how often docs are read
​.

​That might be true! but from plenty of experience, I also know that when I think I've found a really obvious mistake, I'm often wrong.

--