Discarding log.
Updates.
Various documentation fixes.
Merge branch 'master' of https://github.com/holtgrewe/tracdox