user version of the doc, with a few corrections