Deleting /coq/418317