Made JSON pretty print by default; started to inline the examples