I did understand the comment differently. More that at some level OKRs are not important and the decision that a product/module is needed is everything a good working development team needs to do it’s job.
That has nothing to do about the creation of tickets imo. Ofc the team will find a way to organise ITS OWN WORK.