+
+% The usual default hbadness is 1000, but bibliography entries tend to
+% have badnesses up to 2000. Here, we try that value 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.