Open
Description
- It is currently inconsistent, since everything else is a tab.
- This will avoid potential render inefficiency, with rerendering what is under the modal with every keystroke.
- This fits much better with how the rest of cocalc works.
- We can still record which file was opened when help was clicked (that will require a little extra care but it's do-able).
- It provides an opportunity to move the Account --> Support tab to somewhere that makes sense. Info about existing support tickets should be available easily when you click "Help", not buried in account.