Yeah, I've had to manually edit hosts for every work and personal windows machine I've had in the last 20 years, I think. At least desktops.