The classic MCS Mantis, I so wanted to get one for my son. But the “toptube” on the mantis is longer than the Redline.
The step over height is better since there is almost no real top tube to speak of. Dingo had a cool design too for the mini as well.