Я всегда был уверен, что это костыли, и программа сама откатывает выделение будто его не было, и только при ручном пользовательском выделении оно заменяется. Но, если говорить об удобстве, это в миллион раз лучше. Фф единственная программа, у которой постоянно проблемы с выделением: например, если ты выделяешь адресную строку, буфер выделения замещается. Это люто неудобно, пришлось вообще буфер выделения в ней отключить (как это вообще работает? выделение есть, но буфер не обновляется, как-то грязно выглядит). Хорошо, что в других браузерах это понимают и не делают подобного.