<div dir="ltr"><div><div>&gt; While that’s slightly noisier, I’m not convinced the minor additional concision justifies the substantial additional language complexity.<br></div><div><br></div>I&#39;d definitely prefer it were even shorter (I actually made suggestions earlier on this list, but they didn&#39;t gain much support).<br></div><div><br></div><div>But I&#39;ll take &quot;little too verbose&quot; over &quot;much too verbose&quot; any day of the week.</div><div><br></div><div>Unfortunately, the problem with figuring out what is &quot;too verbose&quot; is that it&#39;s so subjective.</div><div><br></div><div><br></div></div>