Remove obsolete code (encode_json).