Closed OrangeToucan closed 7 years ago
Also, how to discuss things on GitHub beyond pull requests? Issues seem disabled and I do have a formatting question but don't want to go through the whole process of making the change just to be able to make a pull request to discuss if it should be changed or not...
Feel free to open an issue for discussion - I've just enabled them.
The original documentation has a period after the section number.