Not sure we're all on the same page here, as he mentioned a PC port while your links appear to be for emulators.
Anyway, I hadn't heard anything about this, so I did a quick search and it turns out there is a native PC version based on reverse-engineered source code, to which Nintendo gave the Nintendo treatment (these are the same guys that went apeshit over a Commodore 64 port of Super Mario Bros), making links and videos very hard to find. In any case, Super Mario 64 is an eternal favorite of retro gamers and speedrunners, so people are going to be all over this despite the takedowns. I'm sure 4chan, Reddit and archive.org will help here.
Bookmarks