CodingStyle: Document the exception of not splitting user-visible strings, for grepping