Is this enum deprecated? Depending on the target platform, this can emit Deprecated annotations for the enum, or it will be completely ignored; in the very least, this is a formalization for deprecating enums.
The parser stores options it doesn't recognize here. See above.
Set this option to true to allow mapping different tag names to the same value.