Closed mnot closed 2 years ago
Thanks @mnot! It seems the PR is ok. I partly reverted the wrapping removal since I it really helps me in reviewing and minimizing the diffs but I think the result makes the document more readable.
@unleashed could you please take a look too?
I believe these are all editorial.