Is anybody bothered that some icons have disappeared? I noticed that the plugin desktop icons have gone, presumably with the move to hicolor? Allan