And given that disabledness of option elements is such a minefield, I think we can safely drop `rinputsoptions`.