Hi, welcome to OpenStreetMap and thanks for updating the library.

For shops and amenities which have closed, you can use a lifecycle prefix rather than changing the name, so in this case you could change
amenity=library -> was:amenity=library instead of altering the name tag. That makes it easier for data consumers to understand that this is no longer a library.

https://wiki.openstreetmap.org/wiki/Lifecycle_prefix