Please give the option to have the icon for extension manager only in top menu bar on right or if one prefers in the dock. I understand you want integration, but I really do not want an extra icon in my dock area. Thanks