Re: [Python-Dev] an unimportant question, ...