[PD-dev] [ pure-data-Patches-3246876 ] Help Browser now resizable