As someone who works for the DoD, the so called "disturbing" language in the paper is very commonplace in this industry. Idk if or why Red Hat is trying to redact the paper, but I'm sure it's not because they're embarrassed their software is killing people. That's par for the course for defense contractors.