This is an empty, readable directory. If you need an empty, readable directory
for some reason, you can use this one.

Of course, it's not quite empty because it has this file in it. So it's a
mostly-empty, readable directory.

