← Feed @olynch@mathstodon.xyz Post #1692978 2026-04-09 20:59 UTC @SamToth Ah, should have guessed that! OK, fortunately now I work in the same office as Mitchell so I'll ask him about it. Replies (0) No replies.