If you step back on after running, you can figure out roughly how much water you need to replenish; Perhaps both numbers are useful? When LenPEG 3 is done runn

If you step back on after running, you can figure out roughly how much water you need to replenish; Perhaps both numbers are useful? When LenPEG 3 is done running, it doesn’t consume any space. Perhaps the first measurement is just considered as runtime overhead.