We submit tax returns etc using proprietary software, but lots of people do their own returns using HMRC's own website. It's looking like we can't really rely 100% on HMRC's software being right.