• I know that I can find the current general settings using

      let Settings = require('Storage').readJSON('setting.jso­n', true) || {};
      print('Settings',Settings);
    

    but where do I find details of the currently configured theme?

    The documentation tells us to look into a file called settings.js which sounds strange on one hand and does not exist on the other...

About