Comments in CoveredHoleMetric. This is beginning to take shape. I see light
at the end of the tunnel.
Authored by: nerius 2023-05-21
Parent: [r765]
Child: [r767]
