Comment

Peter Bengtsson April 28, 2005

Update. A consequence is that the title can become "index_html" which isn't very nice.