Yeah, I personally think most of the books you mentioned are incredibly damaging to children and they shouldn’t read them, but ultimately I know it’s none of my business and it’s up to them and their parents to decide that. It would never even occur to me to suggest that they be removed from the library.