Deleting /coq/94473