MuonTrap looks cool, simple, and probably quite sufficient for my needs; if need be, NimblePool (or whatever) could be used to support pools of Python interpreters.
More generally, I’m very happy to hear that most Nerves-related libraries will play nicely with Raspberry Pi OS.
