Messages

In version 13.50 there is no "Tool" option in the upper bar (File, Add, ISP, View, Help).
In earlier versiens there was an option: Tools, Terminal.
Why is "Tool" entry missing?