update name of the pdf version of the user manual