In zshrc, source zsh/extra only if it's there