restored favicon, fixes #9