Only the mainline Mario platformers are included here. Spinoffs have their own list.