perhaps this is just due to language, but from the PR it says they are <b>retiring</b> 4.9b shares. If r/s, that's not retiring.