On Mon, Jul 23, 2018 at 06:18:28PM +0800, David Prévot wrote: > Hi Christoph, > > On Sat, May 14, 2016 at 01:46:51AM +0200, Christoph Anton Mitterer wrote: > > > I think this is any extremely helpful add-on, and just because there is > > (currently) no active upstream, doesn't mean it must necessarily be > > removed. > > […] > > > So pleas refrain from dropping it, unless there would be no way around > > it in some point in the future. > > With the move to the new webext format, I guess it’s now time to get rid > of xul-ext-searchload-options. I’d like to ask for it’s removal unless > someone really wants to take it over.
I just went ahead and filed a removal bug. Cheers, Moritz