On Tue, Feb 05, 2019 at 11:18:01PM +0100, Johannes Schauer wrote: > On Tue, 05 Feb 2019 23:12:03 +0100 Moritz Muehlenhoff <j...@debian.org> wrote: > > Should pdf2htmlex be removed? It's RC-buggy for over a year and upstream > > development seems to have stopped: > > http://pdf2htmlex.blogspot.de/2016/12/looking-for-new-maintainer.html > > Yes, possibly. > > Funny, that you are reporting this today because just a few hours ago, I > reached out to a fork that claims to continue development. Unfortunately, > things don't look rosy over there either: > > https://github.com/pdf2htmlEX/pdf2htmlEX/issues/20
Johannes, seven weeks later, what's your take, shall we remove it or keep it? Cheers, Moritz