mathlib

88e6ad41 - fix: handle archive and counterexamples correctly when adding port comments (#19237)