I would recommend that library names only be added, not modified post
finalization, so that code that refers to the previous names is not
broken. (Similar to how Unicode does not deprecate codepoint names even
when they are misspelled.)

The deprecated names should be aliases for the library in the same way
that (srfi :161) and (srfi srfi-161) are aliases.

My recommendation for the change:

     <td><code>unifiable-boxes</code> <small>(deprecated:
<code>boxes</code>)</small></td>

-- Peter McGoron