We should increase the visibility of favorited workspaces by making them them stand out a bit more (e.g by making the star yellow).

It would be nice if we were able to favorite/unfavorite from the workspace dropdown:

Or, we could make it possible via clicking the star (clicking the star on favorited workspace to unfavorite, and hover showing the star to favorite on normal workspaces):