I have a module-based language tool, that adds a preference and a check-box for it to the preferences panel. I’d like to expose the preference (add functions to set/get it) to the language. Using preferences:get/set only updates on the next run, but preferences:low-level-get-preference and prefixing with 'plt:framework-pref: does take effect immediately, but doesn’t trigger the callback to update the check-box in the preferences panel. I could stick to the above approach, and have the language preference setter locate the panel, or reflect stuff into the repl (e.g. like the htdp-langs secrets submodule), but is there a “right” way to do all this.