Oh, agreed. But the ctrl-v trick is useful in general anywhere where you'd like to put a special character in an input or command.