I believe they go further than that, recommending vaccine to anyone unvaccinated (not just uninfected+unvaccinated). I may have misread, I don't think the study they present really justifies that reach as the difference between vaccinated and not vaccinated is not statistically significant when someone has already recovered. That is per their own evaluation as I've read it.