Jump to kill

Jump to kill is a combat mechanic which allows the player to dispatch enemies by landing on them from above. It's especially common in platformers; it may have originated in the original Mario Brothers (and was certainly popularized by that series).

TODO: Need a better name for this.