Some people are liking the double space thing. Some are not.

It's in the documentation style guide [1] and there's arond 20k use of it.

I don't think we want to change it: modifing 18900 lines in the docs will make most opened PRs conflict, we don't want that. Also it'll pollute git blame a lot. Also it'll mark most translations as fuzzy in all languages, nobody want that.

You say it costs you time removing them from the translation, just don't remove them, and if you don't like them nobody will complain if you're not typing them both while translating.

[1]: https://devguide.python.org/documenting/#use-of-whitespace