just an after thought;  if you are worried about them monitoring your traffic to known mining sites;  just use a VPN service for any of its connections