Arriving at the sad discovery of a lack of a full highlighting API =(