I've wondered this ever since Zen Pinball 2's release. Ever since then, there are still platforms on which the game is just called "Zen Pinball,...