Delete /coq/417479