Use desktop instead of workspace.

I don't want to confuse virtual desktop/workspace stuffs with forthcoming
support for workspaces in the Eclipse sense.