Olá, Victor! Muito obrigado!
Desde a sua resposta, ontem, estou fazendo a conversão do projeto e só agora obtive um resultado final.
Optei por sua primeira dica, a de criar um projeto do tipo ASP.NET MVC 4 vazio, no Visual Studio 2010, e copiar para ele todos os arquivos do projeto baixado, exceto os de extensão: .sln, .csproj e *.csproj.user. Isso funcionou muito bem! Só tive de incluir depois, no Solution Explorer, os arquivos e pastas extras, que faziam parte apenas do projeto baixado.
Também tive de atualizar o .NET 4 para o 4.5. Assim, consegui rodar o projeto.
Só faltou a anotação EmailAddressAttribute, na classe Usuario.cs, que o Visual Studio insiste em não encontrar. Andei lendo que esta anotação faz parte do .NET 4.5 e esta é a minha versão agora. Então, não faz sentido o VS acusar erro.
Se você também puder me ajudar neste ponto, eu agradeceria muito.
Para o pessoal que vem do curso FN23 ASP.NET MVC3 e estiver passando pelo mesmo problema, deixo, abaixo, um passo a passo de tudo o que fiz:
(1) Configuração inicial: Visual Studio 2010 + ASP.NET MVC 3.
(2) Instale o Service Pack 1 for Visual Studio 2010.
(3) Instale o pacote de atualização do Visual Studio para o ASP.NET MVC 4.
(4) No Visual Studio 2010, crie um projeto do tipo ASP.NET MVC 4 vazio (nomeando-o como LojaRazor) e, depois, feche a IDE. Copie, para a pasta do projeto recém-criado, todos os arquivos do projeto baixado, exceto os de extensão: .sln, .csproj e *.csproj.user.
(5) Abra o Visual Studio 2010 novamente e o projeto LojaRazor recém-criado. No Solution Explorer, clique no botão SHOW ALL FILES, para exibir todos os arquivos que estão na pasta do projeto, mas que ainda não foram incluídos. Na árvore de componentes do projeto, na Solution Explorer, surgirão, em cinza, a pasta DAO, algumas classes da pasta Models etc. Inclua no projeto tudo que estiver em cinza, exceto as pastas BIN e OBJ.
(6) Se a sua versão do .NET for ainda a 4.0, instale o pacote de atualização para o .NET 4.5.
(7) O projeto LojaRazor agora deve executar. Como disse acima, o Visual Studio ainda deve acusar erro na anotação EmailAddressAttribute, na classe Usuario.cs. Neste caso, é possível comentá-la só para verificar que o projeto está rodando.
Victor, agradeço novamente por sua ajuda!
Um grande abraço!
Alessandro Larangeiras.