Source of filetree.html: