Delete /coq/94973