A few fixes from the first days of October.
- Connecting an external account works again.
- LinkedIn data sources update again.
- Live updates in the app resume by themselves after a connection drop, so a new data source fills in and shows the right status.
- The workspace selector opens quickly, also with many workspaces.