1.0.2

Breaking: this release requires Obsidian 1.13.0 or later. Obsidian will keep offering 1.0.1 to anyone on an older version.

• Settings now use the declarative settings API exclusively, so they are indexed by Obsidian's settings search. The 1.0.1 approach of supporting both APIs could not pass Obsidian's no-unsupported-api lint rule, which matches call sites against minAppVersion and cannot tell that the newer calls were guarded.
• Hidden buttons now use a CSS class from styles.css rather than direct element style assignment. styles.css also had unused selectors left over from the original implementation, which are gone.
• Timers use window.setTimeout/window.clearTimeout for popout window compatibility.
• Settings headings no longer repeat the plugin name.

No change to how hiding or unhiding behaves.