Thanks. However, in the future, please just edit the docs directly from the documentation site. It will create Pull Request automatically that we can simply merge. It’s easier for you and for us
Well, I think I may have done the right thing … A bit of a sudden leap for an amateur hacker in his mid-seventies! I spotted a couple of insignificant typos and found my way to GitHub and (I hope) editing them and creating a pull request. The point of this message is to apologise if I’ve done it wrong.