I’m aware of the dpi_scale setting (which allows only integer values, making the setting useless), still, this bug prevents the customisation of the tab titles and having a bigger font in general. Are there any updates or official statements about it?