It has been updated as per the author's Mastodon https://mathstodon.xyz/@abuseofnotation/115298450513159834