No primeiro exemplo você está mexendo com todo o tipo de aspas. Somente " "
, as cotações "do programador" são reconhecidas como cotações nos arquivos de configuração. Você configuração agora tem aspas curvas (",") e até aspas no estilo chinês (″).
Você poderia tentar isso
$HTTP["host"] == "example.com" {
url.redirect = (
"^/(.*)" => "http://www.example.com/$1",
)
}