Delete /coq/94912