Source of filetree.js: