Fix up table of library headers after all new library headers have been added

[tkoeppe]

See comment in #5626 (comment)_

[tkoeppe]

I have a commit for this ready.

[jensmaurer]

@tkoeppe, so please go ahead with that.

[tkoeppe]

This has landed already, thanks!

[tkoeppe]

Thanks -- I thought I had pressed "close with commment", must have misclicked something.