TPTP Documentation for users, consumers, and committers