Chrome/Google Drive extensions for managing PDF, notations, and highlights