renamed Executor to the more natural "Workspace"