Update libraries.html