Deleting /coq/93684