sadly, we now must install highlight even though it is used only in the vignette