But they can't leave until the 4th, right?
The 4th is when the portal opens up for most players to enter. The portal is only open now for graduate transfers and players from teams who lost their head coach. The links in the OP provide more details on how the portal works.