Ah, yes. They are not allowed to HODL BTC but they are allowed buy their own debt to seemingly reduce it...