This is drf5n's HEADER file.  It comes before the fancy index, and will not be shown if there is an index file.