Delete /coq/417458