The main documentation file is DOCS/documentation.html