The libt3highlight library