Delete /coq/93849