Hi Markus, this is not intended. Since this piece of documentation refers to the old and deprecated part of the code we'll have to come up with a new solution anyway. This includes more general handling of documentation of modules hosted on the user wiki. Best, Rob