zshrc: more handy rlwrap
emacs: no Agda mode
emacs: no xwidget
emacs: Maxima mode