skimで修正して保存したPDFは普通のreaderでは見えない．

でも印刷してpdfとして保存すればOK．

Notes