update ids mapping

Author: jiacai2050

app.mjs

@@ -161,12 +161,10 @@ ON CONFLICT (id)
 async function GenerateHtml() {
   const fileOpts = { 'encoding': 'utf8', 'flags': 'w' };
   const idToTitle = {
-    '2': '1.0.0',
-    '5': '1.1.0',
-    '14': '0.15.0',
-    '19': '0.14.0',
-    '20': '0.13.0',
+    '19': '0.15.0',
+    '20': '0.14.0',
     '23': '0.12.0',
+    '25': '0.13.0',
   };
   let repoHistories = [];
   {
@@ -205,12 +203,10 @@ limit 1000
   }
 
   const idsToShow = [
-    '20', // 0.13.0
+    '25', // 0.13.0
     '23', // 0.12.0
-    // '19', // '0.14.0',
-    // '14', // '0.15.0',
-    // '2', // '1.0.0'
-    // '5', // '1.1.0',
+    // '20', // '0.14.0',
+    // '19', // '0.15.0',
   ];
 
   const sqls = idsToShow.map((id) => {