We've ignored shells other than Bash everywhere else in our notes, and 
in our teaching --- again, the existence of others is just confusing to 
novices.