When the Raspberry Pi people release a fresh model in their line of fruity single board computers, it’s always an event of great interest. The Raspberry Pi 4 brought some significant changes to the formula: they moved to mini micro HDMI and USB-C power sockets, for instance. The early adopters who scored one of those Pi 4s were in for a shock though, if they had all but the most basic USB C power