Comment by jfkimmes

Here's a little more context about the author's motivation: https://mathstodon.xyz/@csk/116162797629337132