[selfhoster11]

It's an accessibility problem. GOV.uk is the official government website that contains key information that must be made available to every UK resident. If shaving off 32K of JavaScript makes the website easier to load for people with extremely bad hardware, then it's worth it.

BTW, the UK doesn't use dollars.

[icedchai]

I think having jQuery may make the site more accessible because it's compatible with extremely old browsers.

[zht]

this is a bit pedantic I think it is okay to say "tax dollars" in general.

I don't think you would generally expect people to say "tax euros" or "tax pounds" or "tax yen"

[pjc50]

> I don't think you would generally expect people to say "tax euros" or "tax pounds" or "tax yen"

Depends which country you're in. It would be very weird for UK politicians to start talking about tax dollars, for example.

[Warputin]

“Tax money” could work?

[James-Livesey]

"Tax-payers' money" is often used in the UK as an equivalent

[snoopy_telex]

“Taxes” is all that is required

> the fix was spending a lot of tax dollars to replace it?

Reads fine as

> the fix was spending a lot of taxes to replace it?