add pretty_json.user.js