document about the file extension.