I used pdflatex to build userManual.pdf; it generates an error of the form:

! LaTeX Error: Command \pdfbookmark already defined.
               Or name \end... illegal, see p.192 of the manual.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2123 \newcommand\pdfbookmark[3][]{}

Pressing return gets past this and appears to build a sensible version of the user manual. The only problem is a "pdfauthor" label appears in the top left corner of the title page.

Tim Hopkins
2nd Sept 2023
