Aww crap. I misremembered.

It was Doom. I can't remember which weapon I used to kill cyber-Hitler. I think I just conflated the thrill of shooting Hitler with the thrill of shooting the BFG9000.

I'm OK with that mistake.