Hi @simon4188
As far as I know, the options/ profiles menu issue has not yet been resolved. You can see the status of this issue by clicking on the “Options menu disappeared” link @hester40MT provided in the 2nd post on this thread (above). It is currently feedback-logged with a workaround.