Added improved version of pretty which escapes HTML in strings