I tried to edit navigator preferences to set the high dpi scaling value to ‘false’, but it just says this in the config file in its place: enable_high_dpi_scaling’: not sys.platform.startswith(‘linux’) . I am on Windows 11 if that helps. How do I disable high dpi scaling now? My preferences in the navigator app itself do not save.