[Users] Ubuntu 18.04 and HTML

[Ralf Mardorf]

On Thu, 27 Sep 2018 00:46:59 +0200, Ricardo Mones wrote:
>It may be possible to build the fancy plugin from source, depends on
>the development libraries available on that Ubuntu release.

The runtime dependencies are still available, so the packages
containing the header files must be available, too. However, it gains
absolutely nothing to build software based on vulnerable software.

It's the universe repository that still provides the insecure and
deprecated webkitgtk. This repository is community-maintained, it's not
supported by Canonical.