Delete /coq/417603