same remark, remove the option if it is truly deprecated