Indeed! Absolutely correct and appropriate use of flags... and also a case for why we need to have flags available. But otherwise? Yeah, not for petty disagreements and people with personal axes to grind.