Delete /coq/417593