Up front: the per browser (or per process, if you will) part is the important part here. I'm well aware of the /etc/hosts
(and its Windows counterpart), but would like to avoid this system-global method.
What tools exist to override the IP for a given (i.e. configurable) name per browser? For Firefox there are "Modify Headers" and "Tamper Data". Both of them do not appear to be suitable for my case, because the DNS lookup is done before that. So I can only modify the HTTP headers (e.g. the Host
header), but not influence the IP to which it gets sent. But manipulating to what IP it gets sent is exactly what I want to do.