Delete /coq/417663