Wsl

My WSL instance partly failed to define the correct DNS servers. I wrote a script to fix that.