Dirlist.php: automatically print contents of HEADER.txt in the directory being listed above the table header. Use HTML format.