A collection of tools for searching BibTeX and translating from BibTeX to HTML