Online resources for library users, including educators and workers in need of retraining, are being tapped more and more during the pandemic, according to the San Diego Public Library Foundation.