Twitter thread from Peter Geoghegan, committer of the feature:<p><a href="https://twitter.com/petervgeoghegan/status/1349462003417378817" rel="nofollow">https://twitter.com/petervgeoghegan/status/13494620034173788...</a>