Willian, disse que o erro era imbecil, e era.
Copiei o código tal como esta lá:
<pre lang="aspnet">@RenderSection("Scripts", false)
O código correto é:
- @RenderSection("Scripts", false), não existe este negócio de pre lang="aspnet".
Valeu.
Nota: agora quero colocar minhas coordenadas a partir de caixas de texto na página. Lá vou eu.