Yahoo Chief Operating Officer Henrique de Castro is leaving the company, in a move many expected amid an apparent rise in tension between him and CEO Marissa Mayer.

For more from Re/code, click here.