Deleting /coq/417925