Rename norvig.html to norvig.en.html