TXR 100 Released

This major round-numbered milestone celebrates over five years of TXR.

It has ten bugfixes and nine new features.

Not all planned features made it into the release, unfortunately, but it had to be cut off to be a "digestible chunk", and to make the important fixes available sooner rather than later.