Update manual

Is it time to update the .pdf?