They are manual tests, so let them be controlled via the tests option not the examples option, for consistency with -good.