This brings down the available PDA funding from $6.2 billion to $6.0 billion approximately.
Forgot to mention, the PDA funding in the OP is only including the latest aid bill, and doesn't take into account the roughly ~$4 billion that was previously available. If including the 4 billion or so that President Biden didn't use prior to the latest aid bill, then the real PDA availability will be in the realm of $10 billion or so.