Utilizando windows

Gustavo, tudo bem ?

Cara você pode editar o tipo do arquivo usando o botão direito do mouse.

Mas ainda assim, o ctrl s já devia te dar a opção de criar um arquivo html.

Você está usando o bloco de notas? Se sim, é só usar outro editor que não seja o bloco de notas. Por exemplo, o Notepad++: https://notepad-plus-plus.org/

Fala ai Gustavo, na hora que for salvar seu arquivo, no tipo de arquivo marque Todos os Arquivos, algo semelhante a isso. Após marcar essa opção, no campo do nome, digite o nome seguido pela extensão .html, exemplo: index.html.

Espero ter ajudado.

apenas insira no final do arquivo a extensão .html

Oi Gustavo qual versão do Windows você usa, bom aqui uso a versão do Windows 10 mas é sabido que por padrão o windows oculta as extensões dos arquivos mais comuns certo. Sendo assim você não vai conseguir mudar a extensão do arquivo somente o nome o que pode causar o seguinte caso por exemplo:

meuPrograma.html.txt

Para resolver essa questão basta habilitar pelo windows explorer para que a extensão dos arquivos seja mostrada no Windows 10 por exemplo isso é feito na gui aExibir -> Marcar a checkbox Extensões de nome de arquivo.Aí o arquivo já vai aparecer assim:

meuPrograma.txt

bastando alterar a extensão de txt para .html ficando

meuPrograma.html

Caso persista alguma dúvida a respeito desse desafio ou curso pode perguntar aqui mesmo ou se você não tiver mais nenhuma dúvida a respeito você pode marcar uma resposta como solução, finalizando assim esse tópico.Espero ter ajudado. Bons estudos.