Delete /coq/417646