Source of remotetree.html: