The WRX tokens locked within creditors' accounts are part of the 'WRX Unlocking Program'.
These locked WRX tokens are exclusively designated for paying trading fees and are included in the rebalancing calculations to provide creditors with a clear and accurate view of their total holdings in their accounts.
WRX remains locked and continues to serve the same purpose: paying trading fees.