The 2-3 PM daily cleaning protocol is posted on the DC library website, but the librarians quoted in the article said no cleaning is happening. Which is it?