@rg9119@mathstodon.xyz @regehr@mastodon.social Especially want an update given this comment is now a decade old.