Nice. I only used a couple minutes to verify what i was missing, less about half-a-minute searching the page for download links when in fact there's a search field to type in, and guess what... It worked!!
M'well, HardInfo is v0.5-something so maybe it dates a bit but VLC is there too, only it's all .TXZ so my spontaneous intuition says that's source-code, right? I hope it's been added among the favourites in the default web browser...
Too bad 'x48' ain't part of the list; it stands for HP-48, the calculator. Big brother of the HP-42.
More USB flash drive to patch.
...
Euh... OKay, now where's the .ISO again?...