I feel that I should note for posterity that Donald Trump is also banned from this website. I mean, I don’t have the knowledge of how to actually ban anyone, but he’s unwelcome here at any rate.