Comportement des balises #LOGO avec les fichiers non images

Le ticket #74 (closed) me fait penser à un truc : on peut mettre n'importe quel type de fichier comme logo, pas uniquement des images.

L'autre ticket permettra d'utiliser des vignettes personnalisées dans ces cas, mais en absence de vignette, que devrait faire la balise #LOGO ? Actuellement elle produit une balise img cassée :

<img src="chemin/vers/fichier_non_image.truc">

Je ne vois que 2 options :

1. Ne rien produire du tout
2. Utiliser la vignette du type de fichier