> If you are going to use multiple labels, > it'd be nicer to rename out: too.
Thanks for your suggestion. I left this place untouched because such kind of renaming seemed to be unwanted in some software areas for a while. How long should I wait for corresponding feedback before another small source code adjustment will be appropriate? Regards, Markus
