Deleting /coq/93832