Add note about not changing pretty-print setting