Auto-generated documentation for the main programme.