PDF Annotator 4 is here!