Importing BibTeX records in BibDesk from Title, DOI, or just the PDF