As I understand it, the linearity of quantum mechanics is considered to be an inviolable principle - e.g., this paper - because (among other things) causality would be violated or and/or superluminal communication would be possible if quantum mechanics were nonlinear. However, even in the simple case of multiple electrons, the path (or evolution of the wavefunction) of an individual electron would influence the paths of the electrons, which would in turn influence the path of the individual electron. This looks a lot like self-interaction which would imply nonlinearity.
I think it is possible to represent the multiple-electron system by a set of coupled quasi-linear equations; but I also think that an equation in terms of the wavefunction of the whole multiple-electron system would be nonlinear. {By "quasi-linear" I mean linear in some of the unknowns, in such a way that the other unknowns resemble constants.) This SE answer may be relevant, but seems not to directly address my problem: Does separability into coupled quasi-linear equations somehow meet the overall linearity requirement?