Correct. They are free to leave Aruba, but they haven't.... yet.
You know, if they leave, that would be very telling. The guards didn't leave when they were released. Steve Croes didn't leave when he was released.