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