@BillDubuque Ah, so you decided to
edit war, eh. I think the version I wrote more than adequately addresses the concerns you raised here (which I listened to), so it's hard to see why you would insist on your own original edit. As a matter of course I suppose I should ask you to explain how it fell short.