The menu bar on top of the CtCoq window contains n menus: