← Feed @ruurd@mastodon.social Post #2347916 2026-05-09 21:36 UTC @WilmBoerhout@mathstodon.xyz @Migueldeicaza@mastodon.social plus it's terribly easy to change that in a number of browsers... Replies (0) No replies.