There's plenty of problems with OKRs, but almost all the OKRs I encountered were bottom-up. I'm sure it was different in other parts of the company, though. Working on developer tools is the best.