Document directory. May be empty.
