Some users have this bad habit of hitting the space in their keyboard two or more times (I know - beats me!).

Is there an option I'm missing that would remove extra spaces? Any module or custom filter recipe able to do that?