Which of the following is a common file extension for text files?