A few edits like this one turned up in the review queue:
https://stackoverflow.com/review/suggested-edits/10645389
I clicked skip on them because I wasn't sure what to do.
My gut reaction is, if the words are already capitalized, then that is clear, and bold highlighting represents "no improvement whatsoever".
Is that the consensus view? Or is bold highlighting on names of programming languages / branded programming software a desirable edit?