è proprio il punto a cui volevo arrivare:

document.all è un metodo che anche Opera riconosce per cui devi filtrare anche quel browser. Per questo il commento condizionale era più semplice

Di sicuro come hai fatto tu, anche altri proveranno a filtrare con document.all però chi usa Opera sarà costretto comunque a caricarsi il file, pur supportando quei selettori