Perhaps we should discuss wiki vs docbook in OCT, create a TIP and make a decision.

I suggest it as a meeting item for out next meeting.