On 10/07/2024 19:42, Derick Rethans wrote:
Notes where never meant to be helpful to other developers. They were hints to 
the editors

If that's the case, why would they even be public?

Cheers,
Bilge

Reply via email to