I’m not really a fan of agile but I like the simplicity of OKRs if done well. It’s not easy and time consuming like you mention. My guess is it rarely gets done correctly.

One of the main benefits of OKRs imo is helping each person understand where they fit into the big objective. I don’t see the value in management using them to set lofty goals or push their team.

In threads that complain about work, I see a lot of comments about a desire for ownership of their work. OKRs can play a role in describing a persons ownership.