Delete /coq/417607