@reto @julienxx normally you have a hosts file where you can add names and ips manually. It's technically not using DNS, but works in a similar manner for the local pc. Some use it to filter out spotify ads, for example, or to make short names for servers. On linux it's /etc/hosts and on windows it's inside the system32 directory, I think.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko