15Note that this may differ significantly from the last iterations’ estimated radius. This is because the mean radius printed during the iterations is only a rough estimate (it’s the unweighted arithmetic mean of the radius at all the horizon-surface grid points), while the radius printed after the horizon is found is a more accurate value (it’s computed via numerical integrals over the surface, taking into account the induced metric).