Category talk:Federal government of the United States

Category name
I think this category would best be named "Federal government of the United States". A) It would be in-line with Commons:Category:Federal government of the United States and Federal government of the United States. B) It immediately clears up any ambiguity whether any state or local agencies belong here. --SVTCobra 18:40, 14 October 2019 (UTC)
 * Sounds reasonable to me. --Pi zero (talk) 18:42, 14 October 2019 (UTC)
 * Sure, no objections - since I can't suppress redirects, I'll leave it for one of you to move --DannyS712 (talk) 19:39, 14 October 2019 (UTC)
 * ✅ Let me know if I slipped anywhere. --SVTCobra 00:22, 15 October 2019 (UTC)