<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 dir="ltr"><div><div><br></div><div>For this to work, I'm thinking we (I'm happy to dedicate some time to this) could just ping the mailing list to ask you close them Miguel?  I'm thinking it's an easy and quick thing to do, so we can expect a fairly quick turnaround?<br></div></div></div></blockquote><div><br></div><div>I dont think they hurt to keep them open.</div><div><br></div><div>Do not want to throw the baby with the bath water.</div><div><br></div></div></div></div>