options: add slightly more sophistcated mechanism for option deprecation