On September 19, UC San Diego announced changes to library services beginning September 23 in a campus notice to academics,…