1.5 How to Update the Manual
When new chapters or updates of old pages are provided, these should be placed in the manual,
in accordance with the number of the chapter or page. The old pages and chapters must be removed.
An entry has to be made in the “Revision Changes” chapter with that change.