Also brought index.txt and index.html back in sync. (It looks like someone updated index.html instead of updating index.txt and regenerating index.html.)