I updated the help files in my "Documentation Updates" branch
https://github.com/pure-data/pure-data/pull/829/commits/3f86e7fbb382596b749b...
Thank you Alexandre! I am somewhat of a git novice, is there a git command line command so that I can check out these three modified files quickly by the way?
best, P