Aligning double space for dot behavior with Gboard

[Unpublished]

Steps to reproduce

1. Double tap space at least twice

Expected behaviour

Gboard only replaces the first double space with a dot and then appends spaces.

IMO this is more intuitive when pressing spaces repeatedly.

Result of two double spaces as example:
.

In fact, Gboard skips dotting a double space at the beginning of the input, but I don't have a strong opinion on this one.

Actual behaviour

Currently ASK replaces all double spaces regardless of the content before it...
Result of two double spaces as example:
...

I have a patch ready for this in case you're in favor of the change/alignment.

[menny]

I think it is a matter of preference. I am willing to take your patch if it includes a settings option to turn it on.