re WebHelper, I kind of plan to port it to something not dead someday (webkit2), but it's been a long while and it didn't happen, mostly as @elextr mentioned because it means some non-trivial rewrites. Also, I don't actually use that plugin very much (otherwise I probably would have picked this up by then), and mostly wrote it as a feature request if I recall.

If people care, I could possibly try and revamp an old webkit2 port attempt (I think Debian had something back in the days as well), but I wasn't wholly happy about t because it didn't have full feature parity. And who knows, maybe it'd give somebody else ideas.
Yet if nobody cares, you can also drop it, I won't cry on its demise 🤷

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.