Re: [Python-Dev] What does a double coding cookie mean?