← Feed @dabeaz@mastodon.social Post #2907572 2026-05-13 12:48 UTC @nedbat@hachyderm.io Oh! I didn't even notice that on my phone. Maybe it needs a bigger font? Replies (0) No replies.