"Thank you. I think I've succeeded! If I may bother you again, how do I
make sure this file is always up-to-date? I have till now been using
adblocker, Blur, and other extensions but I've just uninstalled them
because my Safari became very sluggish to load."
Download it from time to time. It is said to be updated monthly, the
current one december 20.
Then do this command in the directory into which you unzipped it:
grep Updated: hosts
This command grabs the line containing the date in the "hosts" file and
returns it as output in terminal. Currently the line is:
Updated: December-20-2014
Or you could open the file and read the same line which appears several
lines from the top of the "hosts" file.
XB