You’ll get downvoted because you’re wrong. They’re government employees, the fact that they were trying to hide their identities doesn’t magically make it not public information.

My first time shutting down a factory at the end of second shift for the weekend. I shut down the compressors first, and that hard stopped a bunch of other equipment that relied on the air pressure. Lessons learned. I spent another hour restarting then properly shutting down everything. Never did that again.