As far as I know the goal of Debian is not to attract the most users but a certain set of values. If RMS is incompatible with these values then there's indeed something gained from distancing yourself.
Debian is political, it always has been and just pretending it isn't won't do good.
I didn't want to discuss whether there is proof, I think I'm on a different side there though.
All that RMS did is in the open, what's left is considering this either compatible (or irrelevant to) with Debian, or not.