и ты прав и я прав.
ты говоришь про сегодняшнее время, когда в f32 была попытка завести старую версию расширения. расширение запускалось, работало, у большинства людей не было проблем с ним, но были и друие люди. например я столкнулся с рядом проблем.
я говорю о прошлом - в прошлом с разными расширениями я сталкивался с тем, что внутри стабильного релиза федора расширение обновлялось в репах позже (или не обновлялось вовсе), тогда как автор на
extensions.gnome.org выкладывал более новую версию продукта с новыми фишками и исправлениями.