*** The system documentation is in the docs directory of the multiverse repository. ***