What did you expect from journalists lolOut of nowhere? The recompiling project was known for a while.
Speculating that it used stolen source code is really irresponsible.
"Since a lot of stuff leaked from Nintendo some days ago, clearly some dude made a full port of Mario 64 in like two days from that leak, despite the fact that the Mario 64 source code isn't even part of the leak. Clearly it's related to that and not the completely legal reimplementation that has been sitting on GitHub for a year. Hell yes. I'm so smart"