On Thu, 1 Dec 2016 23:36:00 +0800Sanjeev <ghane0@gmail.com> wrote:> This corrects a set of spelling mistakes, probably from an> automated conversion.That does indeed seem worth fixing. Applied to the docs tree, thanks.jon