2023.2 added bold fonts or any font change? I see something is slightly different

I am not noticing anything but one of our users is complaining. Where are you seeing the difference?

Can't point my finger on the exact difference. I would need to get some old screenshots of mine and compare against the new version.