How many additional characters are we talking about here?  This seems more like a stylistic issue vs. a performance/functional issue. To you it may look ugly, but to other developers, it's not the case. If stylistic differences prevent code from being pulled in, it'll never get synced.  I can make the changes, but it's a slippery slope.