option values now have to be edited in-place,
instead of replacing an option with another one
that has the same name but a new value.