Usermaven's workspace dropdown menu got an upgrade and now allows you to filter the workspaces and mark your workspaces as favorites. Favorite workspaces will be shown at the top of the menu list.