Just a thought: Someone should point out to @jack that it’s not very libertarian to treat elected officials as being above private citizens. It should be more likely that government people get banned for statements than the population at large.