[PD-dev] [ pure-data-Patches-1379647 ] Linux Help browser startup