Deleting /coq/94971