This is the commit equivalent to what was the 1.21 release, made from the tla repository that was being used at the time.
