No, the UK Government Isn’t Selling $7 Billion in BTC