More proofreading, much better dist-docs (with graphs and equations added). Now using new templates for special characters.