I noticed there are no favicon on https://www.xfce.org/

HTML code says:
<link rel="icon" href="/favicon.ico" />

But that don't seem to exists:
http://xfce.org/favicon.ico

Maybe is should be the file in style/favicon.png?:
<link rel="icon" href="/style/favicon.png" />