PPX:

• -mode
• Deprecate -no-comment-parsing in 2.0.0 (after comments are removed); remove later.

Reporter:

• -ignore-missing-files (after Suggestion: inline source into instrumented files #103).

• All options with a single dash prefix, when we switch to using two dashes (after Remove single-dashed options, then use cmdliner #145).