Latest is that it has been fixed. The problem was with the view mode. It may have been in another mode rather than Normal, although it didn't appear to be. At any rate when I clicked on Normal the menu options returned.
How to get Windows 10 now: how to download and install Windows 10 even if GWX.exe is missing