Please don't send me such patches, I'm not really interested in renaming labels

Thanks for your feedback.

unless it clearly adds to a significant improvement in readability.

Have you got any more concrete conditions for the selection of appropriate
identifiers in this use case according to your software development view?

Regards,
Markus