We need a better icon. As temporary workaround, I copied an icon
from the gnome-icon-theme to avoid adding another external source
with different license terms.