Delete /coq/93869