.zshrc: go back to mgalgs theme