Many thanks to Jon Hudson with SDRPlay who notes:
Want to add SDR software to an existing Raspberry Pi setup? Check out our new SDRplay-related software installer scripts: Add SDRplay-related software to your existing Raspberry Pi SD card – SDRplay