It should not. Firefox is not designed for the tech-savvy, it is a general public product. The average user has no idea what DNS is, couldn't care less. In the best case he is only bothered by the question, in the worst will call me for instructions on cleaning up a "virus".