I accidently deleted my .ssh folder... (overwrote it, actually). Time machine had the directory backed-up, and I was able to restore a previous copy of it via the Terminal But I couldn't see a way to do it via the Time Machine interface. Not missing anything, am I? -- The hippo of recollection stirred in the muddy waters of the mind.