Comment Comment by dieulot The most useful case for this shortcut is 127.1 -> 127.0.0.1 parent dieulot 8 years ago