I would not say a pure coincidence. Whilst Aidan has been hanging out for this for quite a while, he was tipped off as to the imminence of the feature by GitHub

I would not say a pure coincidence. Whilst Aidan has been hanging out for this for quite a while, he was tipped off as to the imminence of the feature by GitHub's response in your thread[1]. [1] https://mobile.twitter.com/__steele/status/1437968451717394438 https://mobile.twitter.com/__steele/status/14379684517173944...