json: add display= so the javascript can copy/paste