Comment behavior/rationale of check-partest-coverage.sh