Re: [Python-ideas] Should Python have user-defined constants?