The latest Dev update for Microsoft Edge packs a lot of fixes and improvements for profiles, Workspaces, and more.