Re: [Python-Dev] pickle.dump(..) interface change ... documentation