sregex-cli: made the --stdin option more human usable.