Why is the file extension .txt rather than .text? Was it to save a precious character, or was it because full words would be a bad precedent?