Hedge around different markdown renderings

PlDoc renders *foo* as boldface.  GitHub renders *foo* as italic.  I
don't really care how it appears, but I don't want to call it bold if
it's italic in the other place.  Using the word "highlighted" we can
dodge the specifics of how it appears.