Delete /coq/417635