Comment by gwern

The methodology is partially based on https://www.offconvex.org/2021/04/07/ripvanwinkle/ , for those thinking this sounded familiar.