As in locally first it didn't work and with this change it did?

With this change make doc works at least locally, before this, it did not.
So I assume it will work on CI. Anyway it is just a change in comments. Let's try.

Shall I merge it and see what happens?

I was just double checking because you made it sound like you were trying something at random. But if that's the way to interpret what you wrote then there's no "see what happens"; it'll just work. ;-)

Thanks for checking, but if I'd really try something an random, I will warn Warn WARN you :) :-)