TLA+ on my own tools, in numbers

This is the fourth and last part of the series that began with Twelve days of TLA+ on my own tools, continued in Thirteen review rounds and one rollback and went on with Three outside reviews of my TL