@jwz where did Alex post that? Not here? mastodon.social/@alexwinter/11