Start of user manual (docbook format)