Got rid of out of date smart.json from docs.

For #180