(not: not the workspace: the home directory)