Delete /coq/417566