I think at some point I probably stated that I'd ideally want to disable pushing in specific areas of maps, rather than entire maps (such as the area with fireballs in mario_b3).
Well, I've done exactly that. Pushing is now enabled in all maps (it was previously disabled in all versions of mario and minecraftworld), but the specific trouble spots in those maps have pushing disabled.