Cmq, se posso essere onesto, mi sembra che rilasciare l'intero omni.jar come patch sia una pratica piuttosto pericolosa per gli utenti, se per errore lo installano sulla versione sbagliata il browser avrá pesanti malfunzionamenti, in piú ora il file si chiama omni.ja.
Credo sia possibile realizzare un semplice script che modifichi un omni.jar esistente, in alternativa compila un bug per avere una api che permetta di registrare una favicon predefinita per la sessione a usala per realizzare un add-on che ad ogni sessione registri l'icona scelta dall'utente.