I wouldn't jump to conclusion.
Datacentred business is / was very small. Its service is to provide storage service, looking after a bunch of servers. I doubt that the contract with HMRC is much more than a few millions £, certainly not in the tens of millions £. The cloud storage market is...