Comment on today's release of HMRC tax receipts