When pretty-printing JSON, mark the difference as such, additionally avoiding including the full path. (Closes: #205)