Extend the workaround in the v53 upgrader to generate missing subcategory columns.

Fixes #5368.

Author: mstange

src/profile-logic/processed-profile-versioning.js

@@ -2350,9 +2350,11 @@ const _upgraders = {
     for (const thread of profile.threads) {
       const { frameTable, stackTable } = thread;
 
-      // Best-effort fix for profiles missing frameTable.category, such as the
-      // ones generated by Lean before https://github.com/leanprover/lean4/pull/6363
-      if (!('category' in frameTable)) {
+      // Best-effort fix for profiles missing frameTable.category or
+      // frameTable.subcategory, such as the ones generated by Lean before
+      // https://github.com/leanprover/lean4/pull/6363 or the ones generated by
+      // vernier before https://github.com/jhawthorn/vernier/issues/128 .
+      if (!frameTable.category || !frameTable.subcategory) {
         frameTable.category = [];
         frameTable.subcategory = [];
         for (let frameIndex = 0; frameIndex < frameTable.length; frameIndex++) {