Build #26:   fixup build/coverage buttons on branch main about 4 years ago