ted_indices.filter(idx => !filtered_data[idx].fake);

        /// Generate details

        /// Global checkbox
        {
            let th_checkbox = document.createElement('th');
            let checkbox = document.createElement('input');
            checkbox.type = 'checkbox';
            checkbox.checked = true;
            checkbox.addEventListener('change', e => {
                [...document.querySelectorAll('.query-checkbox')].map(elem => {
                    elem.checked = e.target.checked
      