Delete /coq/95045