Context for non-UK readers: the HMRC is the UK government's tax collection branch, roughly equivalent to the IRS in the USA.