So, should peer mix requests be in-band, or out-of-band (on a different port)? How realistic is it that the core devs would accept a pull request that extends the protocol for the purposes of mixing?

I'm thinking it would be cleaner with a simple mod to allow an rpc-request of the peer list, and use a separate, simple protocol for mixing.