It boggles my mind they don’t require source files for things running with administrative privledges on government computers, so they can audit it and then compile it themselves. Though in this case it wouldn’t have helped, because apparently the information was brought home to a personal computer.