Welcome @ohault!
The documentation is written in the qubes-doc repository.
If you’re keen on adding those few lines, please do! (And if you paste the pull request link here, I’m happy to take a look at the change to help it through the review line.)
In general, if you find out that the change ends up larger than you’d initially thought, it may be worth opening an issue to discuss it with the team beforehand. All issues are centralized in the qubes-issues repository.
If you’re not familiar with GitHub but would like to update the docs, let me know and we can figure something out.
For additional context: @unman is currently assuming the documentatiom coordinator role. Small changes don’t usually require major coordination, but it may be useful to know nonetheless.