Re: [Python-ideas] Adding str.isascii() ?