HowTo make changes / minor corrections to the documentation?

There is a start to some of that at How to file an Issue. I can make it a Wiki or feel free to copy as much or as little as is useful. It mostly focuses on creating an issue and a small PR through the web page (like OP’s original work flow).

1 Like