Someone else on mastodon found this https://masto.ai/@stavvers/112655306069874958
EDIT: they might actually be the original author of that? I can’t find this indexed anywhere else online (google, google scholar, and google books all turn up nothing or just that mastodon post)
Would be super easy to make a LaTeX document on Overleaf just for the Internet points