[antonvs]

I wonder if that existed when this article was written in 2018.

[MereInterest]

The footnotes mention that this solution was suggested by Reddit comments at the time.