Ahhhhh yes, only just remembered I tried to install the drivers for a TPLink USB wifi stick - which failed - and I had forgotten all about it among a hundred other things. USB tethering my phone’s wifi connection worked straight out of the box.