David …

The servers.def is a text file - so right click the link and select “Save as”

Copy it into your Avast4/Setup folder then run Avast Program Update