This seems like a good idea with the TLA Tools update and other major changes (and also lets me safely make another big change).
