Information about the manual

With the new m23 release, the manual takes the next step of its development. To make it easier for the developers, a big part of the manual is generated from the online help of the m23 web interface. The advantages of this method are that the documentation does not have to be created twice (interface + manual) and that this is possible in all languages the web interface supports.