This patch updates the information about dive log export.
Export to Worldmap, as well as to HTML are covered.
Small typo corrections elsewhere in the manual.
Signed-off-by: Willem Ferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
