[Python-ideas] Re: Proposal: Using % sign for percentage