Redirect to home page

I may be missing something obvious here, but I saw no way to redirect a request for http://example.com/index.html to http://example.com/. This tiny patch will treat the destination '/' thusly. It seemed better to do it that way than to allow a blank destination.

Any thoughts?