I'm in favor of using one space as two are just too much. But considering the origins of this it might make sense introducing ligatures in monospaced fonts whic

I'm in favor of using one space as two are just too much. But considering the origins of this it might make sense introducing ligatures in monospaced fonts which move the dot to the left edge when followed by whitespace. This could slightly increase the gap. Though I'm not sure if this little difference is worth it.