bashrc: relax HISTGNORE a bit more