Are there good reasons why one would use bash instead of zsh when on a personal machine?