[tex-k] Issue with formatting of comment in TeXbook

[Karl Berry]

    This comment relates to "pack_buffered_name" and the last "if" block.
    But it is formatted as if it relates to the first "if" block.

Thanks for the report. I think Knuth is just saving a line in the
output. But I'll ask my colleagues if you wish. -k