Thanks for explaining much of the motivation for some of your implementation choices. Those details actually help a lot in just understanding the tool. (They would have been good things to including in your original announcement.) They certainly make the tool much more interesting to me.