jupyter-desktop-server
jupyter-desktop-server copied to clipboard
Add link to hub control panel in header
Currently, there's no obvious way to 'restart your server' from the desktop view. We should update the header to have that.