R: rename options api, #712