Since the name changed in the theme management area I though that maybe it should change also in the top menus.