where do I find theme settings?

I know that I can find the current general settings using

  let Settings = require('Storage').readJSON('setting.json', 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...