> I had bought up this issue in the past and the conclusion was that there > should just be a comment added [0] as users are treated as programmers. > > [0]: https://lists.suckless.org/hackers/2208/18484.html >
So be it! :-) A user report is a good reason for adding the comment. -- Best Regards, Tom Schwindl
