... I think most people are already used to the patchmanager icon, so I see no reason to change it. But of course feel free to use the icon you think is the best.