Further thoughts: there is an important distinction between manually
killing a buffer, and having a buffer automatically killed because you
closed its window.  so we will need to think about whether the differences
between those two situations warrant having 2 hooks, or whether we can
just have 1 hook to cover both cases.  If two hooks would be better, was
the existing buffer_kill_before_hook misnamed?