('click', e => toggleAll(e, selectors.system));
        document.getElementById('select-all-types').addEventListener('click', e => toggleAll(e, selectors.type));
        document.getElementById('select-all-machines').addEventListener('click', e => toggleAll(e, selectors.machine));
        document.getElementById('select-all-cluster-sizes').addEventListener('click', e => toggleAll(e, selectors.cluster_size));

        [...document.getElementById('selectors_run').querySelectorAll('a')].map(elem => elem.addEve