Fine, substitute "state actor" or whatever pedantic term you prefer. Jargon nitpicking is my second-least-favourite kind of HN nitpicking, coming in close ahea

Fine, substitute "state actor" or whatever pedantic term you prefer. Jargon nitpicking is my second-least-favourite kind of HN nitpicking, coming in close ahead of "Boy there was an advert on that article!/Why U no adblock?" nitpicking.