So, I generally like Jon, but he can be an ignorant blowhard and this typically does not diminish his supreme self-confidence or rudeness (see e.g. https://x.com/stylewarning/status/2028976562544988476). I don't think this is the only instance where he blocked someone who politely pointed out a technical error either.