Regardless, it is the origin of abliteration. Other extremely similar things have been done before, but the popularized idea/name is from that.