Libraries: Revolution, evolution and the two kinds of extinction