Out of curiosity, is there a difference between `sed ... <configure` and `sed ... configure`?