Post #4489481

@shriramk@mastodon.social @ckfinite@universeodon.com I am, indeed, informal in various ways! In fact, I just added it to my Mastodon bio in case there is any danger of confusion on that point.