Looking at the "sec" field of the various addresses, every single one starts with a K or an L. Are these my mysterious (to me) private keys!?I would never have known without your tip

Indeed those are your private keys.
Ok groovy. Having done some manipulation on the pywallet dump (with password) to extract all references to the "sec": field I have what I think are 212 private keys.
Is there nothing else I need from the dump output?
So I install Electum, set a new wallet, tell it to Sweep those keys and I'm good to go?
That is all you need to do.