update jellybox profiles again

src/kiri/init.js

@@ -1064,6 +1064,7 @@ gapp.register("kiri.init", [], (root, exports) => {
                 version: kiri.version,
                 device: selected,
                 process: api.process.code(),
+                profiles: event.altKey ? api.settings.prof() : undefined,
                 code: devs[selected],
                 time: Date.now()
             };

src/kiri/settings.js

@@ -759,6 +759,7 @@ api.settings = {
     proc() { return settings.process },
     ctrl() { return settings.controller },
     mode() { return settings.mode },
+    prof() { return settings.sproc[settings.mode] },
 };
 
 });