On Tue, Dec 04, 2018 at 01:12:27PM +0800, Paul Wise wrote: > On Tue, 2018-12-04 at 00:05 +0100, Moritz Mühlenhoff wrote: > > > Does anyone intend/plan to switch the package to the web extention? > > Otherwise it should be removed from the archive.' > > This package has no web extension version available. > > There are other similar web extensions available but > they are from different upstream projects and > are very different from this one.
I've filed a removal bug. Cheers, Moritz