Re: [Python-ideas] Compact repr operator (i.e., __short_repr__)