Scrivener 3 manual: Wrong menu reference

In chapter B.1 in the manual there is a reference to the Tools > Options menu command. I fruitlessly tried to find and enable a Tools menu, but finally found the Options command in the File menu instead.