Всем по большому счету все равно как писать эти узкоспециальные термины. В каком виде пишет большинство, в таком и попадет в словарь, если вообще попадет. Когда-то все писали броузер, и так это слово и попало в книги и словари. Последние лет десять говорят браузер, и словари тоже подредактировали.
Этот тред как раз и начинается с проблемы исчезающего удвоения букв в заимствованных терминах. Я по-прежнему не вижу в этом никакой трагедии. Исчезла и исчезла, Даль ей пухом.