As far as I am aware, there’s no connection with having multiple mail servers.
Indeed, I have already updated this in the online version of the manual.
Do you mean like here except assuming that Sonoma and SpamSieve 3 are both already installed? That would pretty much be the regular extension instructions.