Deleting /coq/94740