Various updates to the BibTeX database.