[pxx]

They might not even be using their own efforts to "port". Here's an article suggesting that they just downloaded a pirated ROM off the Internet to resell to users: https://www.eurogamer.net/did-nintendo-download-a-mario-rom-...