I discovered Keypoints a few days ago and it seems the PDF annotation tool I've been looking for for quite some time. From the screenshots it seems superior to other alternatives such as Skim or Highlights. Was wondering if Keypoints' development is still active at this point?