I agree with the proposal — the lib tag should be burninated. Where it makes sense, questions should be retagged with one of the more specific library-type tags:
ThereAs of 2024-07-08T04:45Z, there are no longer any questions tagged with the lib tag.
Image from the (rejected) MSO question Change the name of burninate