El Salvador thumbs nose at IMF by buying more BTC or did they?