The first stage in updating the manual to stage 4.1.1 - making sure that I
can add files to github.