Patch release.
Fixes
- The right-click menu-item hider no longer accumulates history in
data.json. The "Hide menu items" checklist (added in 0.5.11 / #209) recorded every menu-item title it ever saw into the plugin's settings. Because many titles are file-specific (e.g.Focus '<file>' in Map View), that list grew on nearly every right-click and rewrotedata.json, churning version-controlled configs and multi-device sync history. The checklist is now built in memory for the current session only; nothing is persisted. Items you have actually chosen to hide are unaffected, and existing configs are cleaned up once on upgrade. Closes #211.
Full detail: #212