Working on the comments at the beginning of CoveredHoleMetric. This is looking
pretty good now.
Authored by: nerius 2023-05-26
Parent: [r787]
Child: [r789]
