rename manager.py to workspace.py