Hello all!
Just wanted to inform you all about the key 'commenthidden' which just
crossed my way. I was till now not aware of this one! And as it seams
e.g. userlib too.
A bug report was issued together with a patch proposal:
https://sourceforge.net/tracker/?func=detail&aid=3092329&group_id=9…
Would be kind if someone with repo write access could handle this... ;)
Thanks a lot and
Greetings
DrTrigon