This extension replaces references to the Defense Department with the more historic and less misleading War Department
There are some other things it replaces, too. It might be a little slow. Let me know if you find especially good replacements or think of another substitution I should use.
- (2016-05-28) I like this but also I made it.