Delete /coq/417452