BUG: 20-bashrc.editor.sh: set PAGER='less' (closes #15)