Extension Request

Double spaces in text. Suppose it is after the period at the end of a sentence, or a double space after a colon. I don’t see the extension, but was wondering if anyone could throw one together.

Do you want double spaces, or do you want to remove them?

Remove double spaces and replace them with a single space.