Option Deprecation

If you want to rename some options, move them to another group or remove
completely, you may change their declarations using deprecated_name,
deprecated_group and deprecated_for_removal parameters to the Opt
constructor: