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