Minor update to our third-party libraries page.