On Wed Aug 30 13:09:10 2023 +0000, Giovanni Mascellani wrote:
It's useful to have a header which a new contributor can understand even without having to read the fine implementation details. Adding a short documentation paragraph doesn't sound hard and it provides significant added value.
I pushed something, please see if that's what you had in mind.