Who came up with the stupid name “Top Kill”?
It’s not a stupid name. It’s appropriate.
In my opinion, it sounds like a stupid MSM nickname.
But if it is the industry’s standard term, I’ll deal with it.