Marios jump is one of the things that makes it even good if it were to be taken it would be completely ruined.
Miner has speed but that isn't getting taken away therefore niether should Marios jump despite what people say Mario can be easy to kill like with miner 5 hits or so you just have to be...