On Thu, Oct 23, 2025, at 08:45, Edmond Dantes wrote: > Hi > > > a few more pages won’t hurt > > Yes, that makes sense. > But I’m more inclined to think that documentation is a better place > for it or that some comments should be moved to a separate section. >
I once said something similar on my first RFC, this is about how it was explained to me: The documentation team writes the documentation from the RFC. I’m sure you can contribute, but for a new feature, there’ll probably be some pushback on why it’s not in the RFC. Granted, you’d probably get some leeway because you’re the author of the RFC, but it’s not much different than some random person opening a PR explaining a feature and there is no guarantee you’d actually contribute to the documentation, so putting it in the RFC is the simplest solution. — Rob
