master.mint22
36156666 · preferences: Remove scripts widget from Plugins. ·