File listing and editing from HTML