Polar is a personal knowledge repository for PDF and web content supporting incremental reading and document annotation.