With the reworked configuration infrastructure, we can now dynamically create a list of options. We should add this to the automatic deploy in the CI.