[Python-ideas] Re: Ampersand operator for strings