Cleaning up the comments a bit in coveredHoleMetric(). I was not able to come
up with a more intelligent upper bound on the worst score.
Authored by: nerius 2023-04-20
Parent: [r514]
Child: [r516]
