Port changes to pickle docs apparently lost in py3k.