<p dir="ltr">I think we're getting into python-ideas territory here...</p>
<p dir="ltr">--Guido (on mobile)</p>