There’s no legal difference between polite pushback and disrespect. In a just world, the commenter should have had zero consequences, and the cop should have gone to prison for assault and abuse of authority.