Contributors to 2020-11-09 A nice tip about Bash redirection