Thanks for all replies.

I had read some of this before, but hadn't picked up that the Pi gives option of internal pull-up or pull-down resistors. With the switch circuit I have I don't need them, so am now using "off" which works fine.

PiCore player is great by the way! I'm using with LMS installed as well, on a Pi4, and gives extremely fast response time.