"Menu" Button
Quick article search
Exit
To completely close the terminal, use this menu option or click the X button in the top-right corner of the main terminal window.