[doc] Update documentation for changes to quotations.
[doc] Update documentation for changes to quotations.

Also cleaned up some of the text. In particular, reworked the layout of
examples.

mwb-cde/hseq-prover