Thank you for this comment! I remember the radius excess from undergraduate relativity, but for months I've been unsuccessfully looking for its name or a brief

Thank you for this comment! I remember the radius excess from undergraduate relativity, but for months I've been unsuccessfully looking for its name or a brief reminder of how it works. What luck!