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
- Appendix D: new strings in the table


New:

- sec. xx: xx