Merge pull request #183 from jix/engine-option-docs
authorJannis Harder <me@jix.one>
Thu, 23 Jun 2022 14:39:32 +0000 (16:39 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Jun 2022 14:39:32 +0000 (16:39 +0200)
Reflect recent engine updates in the reference docs


Trivial merge