Delete /coq/95022