including also the rendered pdf and latex format of the manual