Grazie Olivs, molto gentile.
Può essere che il mio amico non abbia una versione di Explorer aggiornata, o è mal configurata.