Are stock shares awarded by past employer as RSUs, now vested, then sold after retirement considered "personally purchased"?