Some notes on logging.

Also, a small tweak to the doc generation.