&gt; since the feature made it all the way to production versions which rolled out to every firefox user
...like most other features. Doesn&#x27;t require pushing. That&#x27;s how it works.
==&gt; Do we really need to define what &quot;pushing&quot; means? I&#x27;m sure you know what I mean by pushing, you&#x27;re just doing wordplay. That&#x27;s not how it works.<p>&gt; obscure 3rd party service
Apparently it was a rather popular addon in Firefox?
==&gt; What do you think the ratio of (# of pocket extension users &#x2F; # of total firefox users) is? It&#x27;s totally fine if FF had supported it as a pure &quot;extension&quot; (doesn&#x27;t come preinstalled but required users to search and &quot;pull&quot; themselves if they wanted) but the criticism came from the fact that this 3rd party extension came preinstalled and was &quot;pushed&quot; to users.