zsh: drop some unused aliases