remove btxdoc.bib, which is copyrighted, and I don't own it.