ARTstor news: Judy Chicago to be included in ARTstor