That should still work.
hmm, when you make the change in RGUI, choose the save settings option and paste as an attachment the file it produced – itll most likely have libretro in the file name, but it should be obvious.
Then I can confirm what settings it wants in the right config file.