This may also want to include

* `no_implicit_prelude`
* `license`