Update PDF version of the User Manual