Update @jpvelez's patch to syntax-highlight JSON