I don't know, it could be a "window". But it does

I don't know, it could be a "window". But it doesn't matter. Doc said they are "gone", that tells me they don't own any shares. That is a huge block of stock you want in friendly hands and hands that will hold for the long haul even when the restriction, assuming there are restrictions, are expired.