Documentation & Benchmarks

provide documentation for all configuration parameters read from project files
enforce that this configuration will always be in sync with the source code
make sure examples linked on the web page are always up to date
assert that benchmarks only use the minimum set of configuration parameters that are really required. This way benchmarks can be used as a clean starting point for the modeling of more complex scenarios without having to wonder why the files contain some exotic parameters.