Delete /coq/417658