I have no problem with that. Selling used books as an individual is hard, since people will not pay a lot of money for them (since brand new books are cheap), so at least for me I find its not worth the time to sell them. At least then the public library benefits from the donation.