Обсуждение: restart point vs restartpoint in the docs

While doing something else I noticed that we have 25 uses of "restartpoint" and
three "restart point":

$ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l
      25
$ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l
       3

Any objection to applying the attached to make those three "restartpoint" to
keep the docs consistent?

--
Daniel Gustafsson

On Tue, 2025-12-02 at 10:36 +0100, Daniel Gustafsson wrote:
> While doing something else I noticed that we have 25 uses of "restartpoint" and
> three "restart point":
>
> $ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l
>       25
> $ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l
>        3
>
> Any objection to applying the attached to make those three "restartpoint" to
> keep the docs consistent?

No objection - I think that is a clear improvement.

Yours,
Laurenz Albe

On Tue, Dec 02, 2025 at 10:36:30AM +0100, Daniel Gustafsson wrote:
> Any objection to applying the attached to make those three "restartpoint" to
> keep the docs consistent?

Works for me.
--
Michael