Editable server names, flush config jsonc on save, add sidebar tooltip#750

dexhorthy wants to merge 6 commits into

RhysSullivan:mainRhysSullivan/executor:mainfrom

dexhorthy:editable-server-names-and-expandable-sidebar-displaydexhorthy/executor:editable-server-names-and-expandable-sidebar-displayCopy head branch name to clipboard