Over an average retirement of 20 years, these top-ups from HM Revenue and Customs (HMRC) could total more than £6,000 ...