A previous question changed the pronunciation by changing the spelling of words or by externally changing the default system voice. This is useful for speaking in foreign languages too, but I don't want to do either of these things because sound correspondences might not exist (what is the English equivalent of the Spanish rolled R?) and toggling the default system voice manually is a pain.
Another related question changed the speed and pauses by inserting operating system specific markup into the spoken string for Windows systems, and a comment pointed to the documentation for OSX. From the accepted answer, it seems changing the voice is easy enough on Windows (I haven't tried it), but how do we do it on OSX? The documentation was not clear enough for me.
TL;DR
How can we get Speak
to use a different voice?
Speak
on the Raspberry Pi. Turns out that the RPi version comes packaged with espeak and the configuration files can be tweaked as desired. I believe this solution is RPi specific, however. $\endgroup$