This sounds like an assumption based firmly in the American value system. This part is often missed:
> 25 days annual leave (rising to 30 after 5 years), plus 8 public holidays and the King’s birthday
Anyway comparing a government job to big tech isn't fair. It is big tech salaries that are unusual, not the other way around.