We should document the available options in the `settings` object in the [config schema](https://github.com/sourcebot-dev/sourcebot/blob/15073644f988b9552f698884d1b8d977cdd81b6c/schemas/v3/index.json#L6C10-L6C18).