Update library.html