Thanks for creating this thread.
Then you would have to provide how it needs to be fixed and then there is not much difference to using replacements
which allows for way more flexibility.
Yes, that currently does not exist. Especially for Wikipedia I doubt that that is necessary. Do you encounter a lot of that? I can see how a double space can slip through, but more than that should be caught by editorial processes? For the double space using a replacement might be a good option instead.
I’m not sure if @dabinat is still active?
Not sure I understand this question, can you elaborate?