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