Re: [Python-ideas] Support Unicode code point notation