I realised that Framework have provided a KiCad PCB footprint for the one-key module, but I don't think there's a matching schematic symbol, so i created one. Of course, now I'll discover that there was one all along and I'd just missed it...