<html><body>Yes, I have. I am using a standard desktop Debian Trixie installation with GNOME.<br><br><blockquote data-email="peter@pblackman.plus.com">Have you got hicolor-icon-theme installed?

<br>

<br></blockquote></body></html>