FWIW, I've now done a test print with the filament runout sensor properly configured and connected, and my temporary thermistor installed. It all worked fine this time. I've still got to fine-tune the printer in various ways, but that's another matter....