Premium cores setting isn't written

[matijaerceg]

When I open the settings, under JT cores, Premium cores is set to YES:

So I change it to NO:

and go back and hit Save, and it says there's no settings to save:

I feel like this is a bug. Here's the contents of my downloader.ini:

[mister]
filter = !ao486 atari5200 c64 megacd megadrive !genesis-core neogeo nes psx sgb gb gba gba2p gbc sms snes turbografx16 turbografx16cd zxspectrum minimig msx msx1 yctxt !megaduck !gamegear !gameboycolor !wonderswan !wonderswancolor !pocketchallengev2 all_filters presets arcade

[distribution_mister]
db_url = https://raw.githubusercontent.com/MiSTer-devel/Distribution_MiSTer/main/db.json.zip

[bios_db]
db_url = https://raw.githubusercontent.com/BigDendy/BiosDB_MiSTer/db/bios_db.json.zip

[mrext/all]
db_url = https://raw.githubusercontent.com/wizzomafizzo/mrext/main/releases/all.json

[jtcores]
db_url = https://raw.githubusercontent.com/jotego/jtcores_mister/main/jtbindb.json.zip
filter = arcade

[arcade_roms_db]
db_url = https://raw.githubusercontent.com/zakk4223/ArcadeROMsDB_MiSTer/db/arcade_roms_db.json.zip

[theypsilon]

Thanks, will take a look