E, de repente, me atingiu, fator de escala! Eu configurei meu fator de escala para 1, o que corrige:
gsettings set org.gnome.desktop.interface scaling-factor 1
Isso resolveu isso! Depois desse comando, apenas meus títulos ainda são muito grandes. Mas uma reinicialização corrigiu isso também.