Clarity.
Correct a footnote.
English.
Presentation of the code examples.
Remove a comment.
Section Coq.FullTrees: clarification.
Expansion of the Coq section.