“Flamethrowers have been used by many armies in many wars, including by American Marines in Korea and Vietnam. They cause horrific deaths and are thus a serious public-relations liability. The U.S. military apparently phased them out in 1978.”