Oops this was my fault. Anyhow, Hugo is already planning to remediate: c5aa74d

In general, for small typo fixes, you don't need to create an issue!

Oh, sorry and thanks for the information!

Oops this was my fault. Anyhow, Hugo is already planning to remediate: c5aa74d

Oh, should we then use Hugo's PR? Unforetunately, I can't find any (only for 3.14 and 3.13).

I rolled it into my other docs PR for main: #145640

I rolled it into my other docs PR for main: #145640

Ah, I see, thanks for the information! Should we then use your PR instead (but maybe we could also use this one because your other PR primarily relies on datetime as far as I see, doesn't it? So it would be kind of confusing if we combined this in one, wouldn't it?)?

Oops this was my fault. Anyhow, Hugo is already planning to remediate: c5aa74d

No worries, this can happen to all of us, not a big thing 👍

Ah, I see, thanks for the information! Should we then use your PR instead (but maybe we could also use this one because your other PR primarily relies on datetime as far as I see, doesn't it? So it would be kind of confusing if we combined this in one, wouldn't it?)?

In general, we prefer shipping an amendment in the follow-up PR rather than have a single commit. Since this is just a follow-up let's use Hugo's PR.