Which file extension is typically used for text documents?