Anyway, once I’d finished installing the OS, I quickly grabbed Pi-Apps using the wget -qO- ...
It is funny how many times you use your full-blown PC as a terminal to another computer (which is quite often not as capable as the terminal computer). If all you need is a remote display and keyboard ...