Right, I remember now having seen it there. But how come
the locate command didn't find it? Or, maybe it did --
at the beginning of its search -- but the list of files
containing the string "tmp" was so long that it consumed
the whole buffer. I couldn't scroll to the top of the list
there were so many files. Then, locate --help did not
explain how to use the command to locate directories only,
nor how to omit all the substrings. Maybe I should have
piped it through grep or something...