For anyone unaware, all the Pangea classics (Bugdom, Nanosaur, Cro-Mag Rally, Otto Matic, Power Pete/Mighty Mike, etc) were open-sourced a few years ago and ported to a bunch of modern platforms.

From: @vga256
https://mastodon.tomodori.net/@vga256/116160761853024439

RT: https://mastodon.tomodori.net/users/vga256/statuses/116160761853024439
@MossRC @vga256 Do you know what the impetus was for the Power Pete / Mighty Mike rename?
@resistor @vga256 The publisher (MacPlay) insisted on the name change because they worried about Mighty Mike being similar to Mighty Mouse. Pangea changed it back to the original name immediately after they got the IP rights back in 2001.