mentioned in merge request !65 (merged)
We moved to another documentation generator, so fixed manually later. Thanks for reporting.
closed
