index.html is modified to allow favicon.