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.
UK's best mobile network 2016: best 3G, best 4G, best mobile networks revealed