When the web extension change was new and people were complaining I wondered if this sort of patch would replace some extensions, but it seems that hasn't happened. I guess distribution is too painful?