This is my first attempt at editing the manual The line in the git log is completely made up, I couldn't find an example of logging edits to the manual I managed to compile it without warning and errors and I even managed to see it rendered in html (thanks ng0 !!) Also, I'm not sure about the language style.