you need to put this in docs/options.md too