I would applaud anything which meant it was harder to edit hosts files rather than easier.
This is because I recommend heavily against doing it, and only choose it as a method of last resort due to the possibility that it can create a world of pain from a troubleshooting perspective when 6 months down the line you've forgotten you've edited the file (or someone else is editing the computer) and the hosts file entry rears it's ugly head.
Much better to either use a DNS server somewhere, or to use IP addresses.