Thx Michael. with "updating" I meant that some icons did not change
their appearance in the UI although I modified them in the icon
folders. ("save as" / "history) But I think I remember a UI posted
here where some had modified all of them.