So, as some postulated, El Salvador took the loan money, bought bitcoin, and presumably will pay off loan with proceeds from bitcoin.