The goal is to have a term that refers to both of that. Therefore we have a definition, to clarify this is not the common meaning of "library". Can you suggest a different term?