Can anyone recommend a pdf editor, hopefully one in ports? I just need to change a line in an existing file. Thanks Sean