Summary of .pyc-Discussion so far (was Re: [Python-Dev] Proposal: .pyc file format change)