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=93...
Would be kind if someone with repo write access could handle this... ;)
Thanks a lot and Greetings
DrTrigon