Merge branch 'spelling' into 'master' See merge request [!1] [!1]: Nonejoe/dune-benchmark-template/merge_requests/1
