tweaks: rename a function, to be more distinct
Benno Schulenberg authored
So one doesn't find it when grepping for get_input().
18bf2af9