Many thanks to Kris Nairn for suggesting the name '4ti2'. Cool. :-)

Moreover, lots of thanks to many 4ti2 users for suggesting many
interesting and useful improvements.
