@fu Generally, I find that the libraries I have access to are inferior to independent bookstores (used or otherwise) for serendipitous discovery, and to online bookstores (again, used or otherwise) for specific targets. I mean, there are probably few libraries in the world that still have Kermit or UUCP manuals, or obscure biographies from a certain small town in Kansas, or a German songbook published in Ohio in 1890. If I don't keep them, I may never be able to read them again. /end