Duplicating Opera icon in Gnome Shell Dash

view full story

http://unix.stackexchange.com – When I launch Opera manually I have a single icon in the Dash (red icon on top). But when restarting Gnome Shell (with Opera running) or having Opera restored from saved session on login, another Opera icon appears (see the bottom icon) which looks slightly different from the first one. I don't have any idea why it happens or what I need to do to help you locate the problem, so any advice is appreciated. I'm running RFRemix, a Fedora-based Linux distribution, and have Opera installed from a RFRemix repo. (HowTos)