Actually, there is (I spotted a YouTube downloader someplace), but besides that "point", the videos in that channel are _very_ interesting if you care anything

Actually, there is (I spotted a YouTube downloader someplace), but besides that "point", the videos in that channel are _very_ interesting if you care anything about modern microprocessors (he's ported Plan9 to quite a few devices).