Some minor editorial discussion about whether civility is preferable/necessary/optional in the Donald Trump era.