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