Eventually managed to connect to my old Raspberry Pi 1B. Not entirely sure which thing fixed the problem but I created a ssh file with no file extension, as a text file, as Shabaz described (who knew you could do such a thing? And why would you want ...