+
+% The usual default hbadness is 1000, but bibliography entries tend to
+% have badnesses up around 2000, and I have one example with badness
+% 2302. Here, we try the value 2500 instead to avoid spurious warnings
+% (there's nothing the document author can do about them). Before we
+% end the bibliography, we restore the original value.