@rgeorge @PedestrianError @danhon
This is true, and it is a shame we got into this mess, but the second best time for folk to think better of it is now.