In zshrc, source zsh/extra only if it's there
Improve the install script