Current highlighting at HEAD:
Highlighting of the same change at rPc2f9e7f6e, before D17138:
The old highlighting, which made the completely new lines dark, was correct. The new highlighting is incorrect. Specifically, lines 144-162 should use the dark highlight color because they contain new text.