Was thinking that as well -- these are all options that can't be mixed, essentially. Version would be the only one that is a number (mostly, can have letters like `'17.0a2'`), and maybe tinderbox can be prefixed with `'tinderbox-'` -- although the only conflict is `mozilla-central` as an option