Meanwhile the rest of the party is just sort of there, pulled along in the wake of the autistic player.

I really don't enjoy being at a table that has someone who's min/maxing. Do not give me the wizard who's speccing out his meta magic feats to trivialize the whole encounter with a single spell, give me the Naked Action Wizard who wants to shoot things with his crossbow and makes the DM facepalm every session.