The file explorer address bar does not scale on high-DPI displays, see screenshot. Can we get this fixed?