`save-workspace' can now take no parameters -- provided you already
specified a name with `save-workspace' or `load-workspace'