Linear scaling of coveredHoleMetric() is extremely important. We want to
continue playing well even if we had the misfortune of already having some holes in our pit.
Authored by: nerius 2023-04-12
Parent: [r399]
Child: [r401]
