Hot: workspace-manager