no manual source #5
Description
When I contribute definitions (such as SQRT), I'd like to contribute documentation with them. Not having the source to the manual, I'm not quite sure where to put the documentation. I could put it in the pull request notes, I guess, but I thought to suggest adding the manual source to the repository as a tidier option.