I also praise your dedication on being precise, but I really did not understood what exactly you were reaching for; if it is “permission” to do a PR I think you should just go for it. Six days ago I did see minor imprecision in a eval/scope phase of the documentation, opened a PR just to change the ending of the phrase, and Stefan just approved and merged it right after. I think that if it is clear to you what should be amended, just open a PR and let the maintainers give a look at it.
1 Like