This allows specifying individual top-level values to exclude from coverage right on the PPX's command line. It has been awkward to use for years, and we already deliberately removed it from the docs.