tests/man.test was generated incorrectly and had some duplicate tests, the new CI workflow didn't like that.