Delete /coq/95023