DOC: bash.html.markdown: fix bash redirection examples