Bug fix: in Html.result_table, contents now appear when there is no editable infos.