> On Oct 19, 2017, at 8:07 AM, Willem Ferguson <willemferguson at zoology.up.ac.za> wrote: > > O, I forgot to mention. > > The Help menu item for the user manual is gone, at least on my machine. I see it hear on Subsurface / Linux and on Subsurface-mobile / Android. Where is it missing? /D