Hmm. Each user could edit their own hosts.txt on their own machine though. It may have been initially centrally distributed, but it was not managed that way. Well, unless you have a GPO to update it 🥹