On Tue Sep 5 03:20:25 2023 +0000, Zebediah Figura wrote:
I don't really know. I'm accepting the patch, but I won't complain if someone improves the documentation later.
If that can help unblocking the situation, I can accept the patch too and later add the documentation myself.