While we at this, also an option for making the fonts smaller, as well the whole UI, they about 2x times larger then I would like on 4K. I'd rather watch the content then the UI.