Obsoleted files -- but not (yet) discarded
