On Fri, May 27 2022 at 12:15:33 AM +0200, Joël Krähemann
<jkraehemann(a)gmail.com> wrote:
For webkit2gtk-4.0 we had a replacement to show the manual as PDF
using libpoppler-glib.
This is fine IMO since it's your own PDF that you control and know will
not be malicious.
(For untrusted PDFs, WebKit is way more secure than poppler-glib.)
Michael