Relevant mailing list archive: https://mail.openjdk.org/pipermail/classfile-api-dev/2024-January/000450.html

> In the ClassFile package description under OPTIONS there is no
> mention of DEADCODE.

Since ClassFile.Options was converted to a sealed class hierarchy, we might refer to the hierarchy for the complete list of options (such as via the sealed graph) while mentioning the most frequently used ones.