mondo-doc main source is now under the devel branch. Do not use the stable branch anymore, but port the content to it instead.