“At the heart of the [weeding] method is a formula consisting of three factors—the number of years since the last copyright, the number of years since the book was last checked out, and a collection of six negative factors given the acronym MUSTIE, to help decide if a book has outlived its usefulness.”