Hi, I seem to me that the slowness I've seen isn't devhelp, but webkit2 / webkit2gtk. WEBKIT_DISABLE_COMPOSITING_MODE=1 helped a lot. ref. https://lists.webkit.org/pipermail/webkit-gtk/2016-September/002803.html -- yashi