Delete /coq/95050