which favicon, png or ico? how about both!