No, il problema era un altro.
Io non ho più Firefox 3.0.6, come nella pagina web linkata, ma la 3.5.7. Quindi ho dovuto cambiare la stringa da inserire come "user agent".
P.S.: non so neanche cosa siano i DNS!
A proposito, c'è un posto dove salvare i link dei vari canali RAI per prelevarli direttamente?
Esistono cose analoghe così semplici anche x Mediaset?