О нет, сразу по многим пунктам:

- Времени тратится не много - минут пять. Точнее, минут пять, чтобы установить расширение с копировать в него скрипты из того поста; плюс потом ещё минуты две, чтобы подобрать цвет в одном месте под себя. Всё. Что намного меньше, чем мне уже до того пришлось потратить в бесплодных поисках хоть какого-нибудь стиля, не раздражающего после последних изменений.

- Это не только Firefox - там в комментах пишут, что точно такое же расширение существует и ещё для нескольких браузеров, включая Хром. При этом у меня есть подозрение, что большинство юзеров, которые предпочитали простые прямолинейные настройки, как раз на Файрфоксе и сидят.

- только для одного компьютера, да. Но, когда я подобрал для себя настройки на одном компьютере, копирование их на другой - дело минуты.

- Это не просто "косметические" изменения. Убирание этих ярко-голубых полос и возвращение прежней плотности текста мгновенно приводят всё в то состояние, в котором с остальными вещами уже можно мириться без зубовного скрежета.

То есть, конечно, да, это паллиатив, но такой, что сразу становится можно жить.

У меня пока что есть возможность вернуться к прежней форме комментариев, так что положение дел меня устраивает...