HiddenFromUserInterface usage

I’m adding some settings to a Plugin I’ve created. I wondered if there was a way to get them in the default Rhino UI and stumbled upon the HiddenFromUserInterface property of PersistentSettings, it says if false it will appear in the EditOptions window, which it does, but it also does if true. Is it supposed to appear somewhere else as well?

– cs

@JohnM - is this something you can help with?