Needed and useful stuff related to tex and its family