Comment by inkel

I'm pretty sure we haven't lost that many libraries, and I have even seen new ones in recent years.