emprear no estoy de acuerdo con tu argumentación, de hecho si todo el mundo hiciese lo que tú dices, jamás habría expertos en la materia.
Ahora analicemos esto. Una búsqueda en google lleva al reporte del bug:
https://bugzilla.mozilla.org/show_bug.cgi?id=808404
Y en uno de los comentarios se indica:
Andrew McCreight [:mccr8] 2012-11-04 12:01:35 PST
Renaming the function 'top' to something else should fix the problem.
Así que tienes que ir al core.js (guardas una copia en otro sitio por seguridad) y haces lo siguiente.
modificas function function top(tipo){ por otra con otro nombre, por ejemplo function placeTop(tipo){
Buscas por todo el código las llamadas a top(tipo) que serán de tipo top(algo) y las sustituyes por placeTop(algo)
Así debería funcionar