Using the library PC to unzip the official RPi ZIP download that Raspian can't unzip. OTOH I did get to play with the LibreELEC choice, KODI plays all my video files so far.
After I post this I need to find how to run Arduino IDE from RPi and can I make & use a RAM drive for the temp file folder or better yet, can I load & run the IDE on a USB HD on an RPi 3+? The 32-bit Linux IDE is not working on Raspian.
GFS