I found a link to the dillo html renderer plugin, but when I went to the main plugin.php page, it was not visible. Same for the gtk html plugin, and probably unknown others (since they're not shown).
That page shows the current plugins. The 2 you mentioned were retired long ago.