@petergleick I wonder, does a rando with a gun constitute a "person in the civil service of the United States"? Or is "civil service" defined as someone in an official capacity serving a civil need, like a mailperson or town clerk? I think I'm most likely to bump into the former type where I live 🙄