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