[PD-dev] [ pure-data-Patches-1810576 ] better support for opening HTML/URLs on GNU/Linux