[PD-dev] [ pure-data-Patches-3587383 ] before loading a GUI plugin, check its not already loaded