Which reminds me, I've had a much improved plistlib.py lying around for

ages. The main improvements are:
- a much more convenient API: readPlist() and writePlist()
- support non-dict top-level objects