Aha, yes, good point. Like it does for catkin workspaces.