And this is an index.html file that replaces the <a href="HEADER">HEADER</a>, <a href="README">README</a> and default fancy indexing.  Look at <a href="STUFF/">STUFF/</a> for an example of automatic fancy indexing.