tidy-up: one comment and EOF newlines

Reviewed-by: Daniel Stenberg
Closes #13108

docs/cmdline-opts/.gitignore: ignore curl.txt

Closes #13076