<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000"><div><div class="h5"><br></div></div>
    Not sure about this last part. It is really going to require work by
    us to rewrite things. :-) In the mean time, I think we should go
    ahead with this.</div></blockquote><div><br></div><div>FWIW: My problem is, when put in this framework, we will repeatedly make this same decision, this same way, again and again, and never actually get even started on fixing it :)</div><div><br></div><div>IE "it's just another small patch!"</div><div><br></div></div></div></div>