/DEV/NULL and PING 127.0.0.1 will have to remain upper case


Annoying, but not enough to make it uninteresting, I think.