Modified:

- sec. 2.2: last paragraph has been rewritten
- sec. A.1.13: added new PDF export format
- sec. A.1.13: add note for the HTML format


New:

- sec. xx: xx