Thirteen review rounds and one rollback

This is the second part of Twelve days of TLA+ on my own tools. That post ended with seven fix rounds waiting for 13 decisions that only I could make. On 10 October I took the recommendation on all 13