* as suggested in #10428
* standard input => `stdin`
* standard output => `stdout`
* standard error => `stderr`
Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
Change Unicode characters to ASCII:
- non-breaking spaces (\xc2\xa0) to normal spaces (\x20)
- apostrophes (there are only 2 Unicode apostrophes, all others are already ASCII)
- hyphen (−) to minus (-)
- fix wording (STD‐OUT to "standard output")
