On 22 October 2016 at 03:47, 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. -- http://rrt.sc3d.org