Made some minor modifications to the comments (my dissertation). Almost ready
to start trying to implement new algorithm. CoveredHoleMetric.
Authored by: nerius 2023-05-19
Parent: [r757]
Child: [r759]
