OVVIAMENTE al Sig. Google non passa neanche lontanamente per la testa di inserire l'opzione per il ridimensionamento della colonna delle etichette, che resta ridicolmente stretta (nel 2018 "ridicolmente" è la parola giusta, permette di visualizzare solo una decina di caratteri o poco più).
Siccome l'estensione che aggiunge questa possibilità con la nuova versione non funziona, si torna alla vecchia.
Però adesso tutti i rettangoli/pulsanti/evidenziazioni hanno i bordi smussati!!
Bah.