Print a tree of file names instead of a pretty-printed JSON object.
It is better because the full JSON object can overload the browser.