Hai, saya kesulitan mengubah ekstensi file

Dalam buku “WordPress: Panduan Membangun Situs Web Berskala Bisnis” tepatnya pada halaman 9, terdapat instruksi pengubahan nama dan ekstensinya. Saya tidak dapat menemukan ekstensi file pada file yang telah saya download dan hanya terdapat nama file start saja tanpa .html seperti yang dijelaskan di buku. Bagaimana saya dapat menemukan ekstensi filenya?