A platform-jumping prince – History of Prince of Persia’s 1990s Ports