I'm relatively sure that the documentation currently contains some small errors (which were fixed in the thesis).
These should be corrected.